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

start0.0ms (0%)

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

analyze429.0ms (8.2%)

Memory

-15.5MiB live, 371.1MiB allocated; 56ms 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 (25.8%)

Memory

31.1MiB live, 1 618.2MiB allocated; 463ms collecting garbage

Samples

754.0ms

8 256×

valid

Precisions

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

ival-div!: 143.0ms (50.9% of total)

ival-sub!: 74.0ms (26.4% of total)

ival-mult!: 62.0ms (22.1% of total)

adjust: 2.0ms (0.7% of total)

Bogosity

preprocess85.0ms (1.6%)

Memory

-41.1MiB live, 59.4MiB allocated; 45ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	55	173
1	264	166
2	1814	165

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.0%	(*.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)

series223.0ms (4.3%)

Memory

17.9MiB live, 254.1MiB allocated; 65ms 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
2.0ms	z	-inf
2.0ms	t	0
2.0ms	y	-inf
2.0ms	y	inf
1.0ms	x	0

rewrite306.0ms (5.8%)

Memory

-8.1MiB live, 273.7MiB allocated; 53ms collecting garbage

Counts

10 → 24

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

eval10.0ms (0.2%)

Memory: 17.7MiB live, 17.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 625 to 379 computations (76.7% saved)

prune9.0ms (0.2%)

Memory

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

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	61	11	72
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	61	12	73

Accuracy

100.0%

Counts

73 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.9%	(*.f64 x (fma.f64 y (/.f64 #s(literal 1 binary64) z) (neg.f64 (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
✓	96.0%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
	95.9%	(.f64 x (-.f64 (/.f64 y z) (.f64 t (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) z)))))
▶	54.8%	(.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) (+.f64 t (.f64 t z)))))
	61.4%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
	75.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 (-.f64 y (.f64 #s(literal -1 binary64) t)) z)))
▶	50.1%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
	71.8%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
▶	56.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	80.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))))
	80.4%	#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)))))
▶	48.4%	#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 429 to 336 computations (21.7% saved)

series406.0ms (7.7%)

Memory

-1.0MiB live, 143.0MiB allocated; 27ms collecting garbage

Counts

28 → 108

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
66.0ms	z	inf
9.0ms	z	-inf
6.0ms	x	-inf
6.0ms	t	0
5.0ms	y	-inf

rewrite243.0ms (4.6%)

Memory

-0.7MiB live, 104.5MiB allocated; 48ms collecting garbage

Counts

28 → 85

Calls

Call 1

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

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

eval28.0ms (0.5%)

Memory: -33.6MiB live, 59.4MiB allocated; 8ms collecting garbage
Compiler: Compiled 5 266 to 879 computations (83.3% saved)

prune12.0ms (0.2%)

Memory

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

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	198	10	208
Fresh	1	5	6
Picked	4	1	5
Done	1	0	1
Total	204	16	220

Accuracy

100.0%

Counts

220 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
	74.7%	(*.f64 x (fma.f64 y (/.f64 #s(literal 1 binary64) z) #s(approx (neg (/ t (- 1 z))) (/.f64 t z))))
	54.8%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) (fma.f64 z t t))))
▶	61.4%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
▶	75.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 (-.f64 y (.f64 #s(literal -1 binary64) t)) z)))
	50.1%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) (*.f64 t (/.f64 #s(literal 1 binary64) (-.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))))
▶	50.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (neg.f64 (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
	71.8%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
✓	56.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	56.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) z)))
▶	80.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))))
	58.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (*.f64 x (/.f64 y z)))
	80.4%	#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)))))
	47.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 #s(literal -1 binary64) (.f64 t (/.f64 x (-.f64 #s(literal 1 binary64) z)))))
	48.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (neg.f64 (/.f64 (*.f64 t x) (-.f64 #s(literal 1 binary64) z))))
	37.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (/.f64 (*.f64 t x) z)))

Compiler

Compiled 629 to 479 computations (23.8% saved)

series414.0ms (7.9%)

Memory

-31.7MiB live, 299.0MiB allocated; 49ms collecting garbage

Counts

30 → 136

Calls

Call 1

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

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 (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (.f64 x (.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 x) (* y (- 1 z)))) (/ x z)) (.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 t (.f64 y (-.f64 #s(literal 1 binary64) z))) (/.f64 #s(literal 1 binary64) z))))
#s(approx (/ (* t x) (* y (- 1 z))) (/.f64 (.f64 t x) (.f64 y (-.f64 #s(literal 1 binary64) z))))
#s(approx (* t x) (*.f64 t x))
#s(approx x x)
#s(approx (/ x z) (/.f64 x z))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (.f64 #s(literal -1 binary64) (.f64 x (.f64 y (-.f64 (/.f64 t (.f64 y (-.f64 #s(literal 1 binary64) z))) (/.f64 #s(literal 1 binary64) z))))))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (.f64 x (-.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 #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 y)
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (*.f64 y (-.f64 #s(literal 1 binary64) z)))))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (-.f64 #s(literal 1 binary64) z)) (/.f64 (.f64 x y) z)) y))
#s(approx (* y (- 1 z)) (*.f64 y (-.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))))
#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 (* -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 (* 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 (/ (* t x) (* y (- 1 z)))) (/ x z)) (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 (* 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 (* 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 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t (*.f64 x z)) y))) z))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t (*.f64 x z)) y))))) z))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t (*.f64 x z)) y))))))) z))
#s(approx (/ (* t x) (* y (- 1 z))) (/.f64 (*.f64 t x) y))
#s(approx (/ (* t x) (* y (- 1 z))) (+.f64 (/.f64 (.f64 t x) y) (/.f64 (.f64 t (*.f64 x z)) y)))
#s(approx (/ (* t x) (* y (- 1 z))) (fma.f64 z (-.f64 (/.f64 (.f64 t (.f64 x z)) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y))) (/.f64 (*.f64 t x) y)))
#s(approx (/ (* t x) (* y (- 1 z))) (fma.f64 z (-.f64 (.f64 z (-.f64 (/.f64 (.f64 t (.f64 x z)) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y)))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y))) (/.f64 (.f64 t x) 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 (- (/ 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)) (+.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 (neg (/ t (- 1 z))) (-.f64 (.f64 #s(literal -1 binary64) (.f64 t z)) t))
#s(approx (neg (/ t (- 1 z))) (-.f64 (.f64 z (fma.f64 #s(literal -1 binary64) t (.f64 #s(literal -1 binary64) (*.f64 t z)))) t))
#s(approx (neg (/ t (- 1 z))) (-.f64 (.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)))))) t))
#s(approx (/ (- y (* -1 t)) z) (/.f64 (-.f64 y (*.f64 #s(literal -1 binary64) t)) 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 (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (/.f64 (.f64 y (+.f64 x (/.f64 (.f64 t x) y))) z))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (/.f64 (fma.f64 y (+.f64 x (/.f64 (.f64 t x) y)) (/.f64 (.f64 t x) z)) z))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (/.f64 (fma.f64 y (+.f64 x (/.f64 (.f64 t x) y)) (+.f64 (/.f64 (.f64 t x) z) (/.f64 (*.f64 t x) (pow.f64 z #s(literal 2 binary64))))) z))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (/.f64 (fma.f64 y (+.f64 x (/.f64 (.f64 t x) y)) (+.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 x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (/.f64 (*.f64 t x) y)) z))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (+.f64 (/.f64 (.f64 t x) y) (/.f64 (.f64 t x) (*.f64 y z)))) z))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (+.f64 (/.f64 (.f64 t x) y) (+.f64 (/.f64 (.f64 t x) (.f64 y z)) (/.f64 (.f64 t x) (*.f64 y (pow.f64 z #s(literal 2 binary64))))))) z))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (+.f64 (/.f64 (.f64 t x) y) (+.f64 (/.f64 (.f64 t x) (.f64 y z)) (+.f64 (/.f64 (.f64 t x) (.f64 y (pow.f64 z #s(literal 2 binary64)))) (/.f64 (.f64 t x) (*.f64 y (pow.f64 z #s(literal 3 binary64)))))))) z))
#s(approx (/ (* t x) (* y (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (*.f64 y z))))
#s(approx (/ (* t x) (* y (- 1 z))) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (.f64 y z)))) z))
#s(approx (/ (* t x) (* y (- 1 z))) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (.f64 y (pow.f64 z #s(literal 2 binary64)))))) (/.f64 (.f64 t x) (.f64 y z))) z))
#s(approx (/ (* t x) (* y (- 1 z))) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (.f64 y (pow.f64 z #s(literal 3 binary64)))))) (+.f64 (/.f64 (.f64 t x) (.f64 y z)) (/.f64 (.f64 t x) (.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 (- (/ 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 (neg (/ t (- 1 z))) (/.f64 (-.f64 (/.f64 t z) (*.f64 #s(literal -1 binary64) t)) z))
#s(approx (neg (/ t (- 1 z))) (/.f64 (-.f64 (+.f64 (/.f64 t z) (/.f64 t (pow.f64 z #s(literal 2 binary64)))) (*.f64 #s(literal -1 binary64) t)) z))
#s(approx (neg (/ t (- 1 z))) (/.f64 (-.f64 (+.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 (* 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 (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y)))) z)))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z))) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) z) (.f64 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t x) y))))) z)))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x 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 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t x) y))))) z)))
#s(approx (* y (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x 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 y (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y))))) z)))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t x) y))) z)))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (*.f64 y z))))) z)))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (/.f64 (.f64 t x) y) (/.f64 (.f64 t x) (.f64 y z))) z)))) z)))
#s(approx (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (.f64 y z)))) z) (/.f64 (.f64 t x) y)) z)))) z)))
#s(approx (/ (* t x) (* y (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (/.f64 (.f64 t x) y) (/.f64 (.f64 t x) (.f64 y z))) z)))
#s(approx (/ (* t x) (* y (- 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) (.f64 y z))) (/.f64 (.f64 t x) y)) z) (/.f64 (.f64 t x) y)) z)))
#s(approx (/ (* t x) (* 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 (.f64 t x) (.f64 y z)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) y))) z)) (/.f64 (.f64 t x) y)) z) (/.f64 (.f64 t x) 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 (- (/ 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 (neg (/ t (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 t z)) t) z)))
#s(approx (neg (/ t (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 t (/.f64 t z)) z)) t) z)))
#s(approx (neg (/ t (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.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 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 (- y (* -1 t)) (+.f64 t y))
#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 (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 t (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 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 (+ (* -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 #s(literal -1 binary64) (.f64 t (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 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
63.0ms	x	inf
11.0ms	t	-inf
9.0ms	x	-inf
7.0ms	y	0
6.0ms	y	-inf

rewrite257.0ms (4.9%)

Memory

42.6MiB live, 181.7MiB allocated; 38ms collecting garbage

Counts

30 → 71

Calls

Call 1

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

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

eval41.0ms (0.8%)

Memory: -37.3MiB live, 56.3MiB allocated; 6ms collecting garbage
Compiler: Compiled 6 668 to 1 059 computations (84.1% saved)

prune13.0ms (0.2%)

Memory

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

Pruning

21 alts after pruning (17 fresh and 4 done)

	Pruned	Kept	Total
New	200	9	209
Fresh	2	8	10
Picked	2	3	5
Done	0	1	1
Total	204	21	225

Accuracy

100.0%

Counts

225 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
	54.8%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) (fma.f64 z t t))))
✓	61.4%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
	75.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 #s(approx (- y ( -1 t)) (+.f64 t y)) z)))
	39.4%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 #s(approx (- y ( -1 t)) t) z)))
	75.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 (-.f64 y (neg.f64 t)) (/.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))))
✓	50.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (neg.f64 (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
	50.1%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (neg.f64 (.f64 t (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) z))))))
▶	74.8%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx (/ (- y ( -1 t)) z) (+.f64 (/.f64 t z) (/.f64 y z)))))
	71.8%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
✓	56.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
▶	56.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) z)))
	54.5%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y (fma.f64 #s(literal -1 binary64) #s(approx (/ ( t x) (* y (- 1 z))) (/.f64 (*.f64 t x) y)) (/.f64 x z))))
▶	63.9%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y #s(approx (+ ( -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 (+.f64 x (/.f64 (*.f64 t x) y)) z))))
▶	84.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y #s(approx (+ ( -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 t (.f64 y (-.f64 #s(literal 1 binary64) z))) (/.f64 #s(literal 1 binary64) z))))))
	74.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y #s(approx (+ ( -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 x (.f64 y (-.f64 #s(literal 1 binary64) z))) (/.f64 x (*.f64 t z)))))))
	58.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (*.f64 x (/.f64 y z)))
	80.4%	#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)))))
	47.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 #s(literal -1 binary64) (.f64 t (/.f64 x (-.f64 #s(literal 1 binary64) z)))))
	48.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (neg.f64 (/.f64 (*.f64 t x) (-.f64 #s(literal 1 binary64) z))))
▶	37.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (/.f64 (*.f64 t x) z)))

Compiler

Compiled 955 to 679 computations (28.9% saved)

series383.0ms (7.3%)

Memory

-13.8MiB live, 431.0MiB allocated; 136ms collecting garbage

Counts

34 → 151

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
58.0ms	z	inf
9.0ms	y	0
7.0ms	x	-inf
5.0ms	z	-inf
5.0ms	t	-inf

rewrite236.0ms (4.5%)

Memory

21.0MiB live, 199.6MiB allocated; 60ms collecting garbage

Counts

34 → 91

Calls

Call 1

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

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

eval55.0ms (1.1%)

Memory: -0.4MiB live, 50.1MiB allocated; 37ms collecting garbage
Compiler: Compiled 9 929 to 1 387 computations (86% saved)

prune19.0ms (0.4%)

Memory

-24.3MiB live, 22.6MiB allocated; 7ms collecting garbage

Pruning

19 alts after pruning (13 fresh and 6 done)

	Pruned	Kept	Total
New	232	4	236
Fresh	3	9	12
Picked	3	2	5
Done	0	4	4
Total	238	19	257

Accuracy

100.0%

Counts

257 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
	54.8%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) (fma.f64 z t t))))
✓	61.4%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
	75.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 #s(approx (- y ( -1 t)) (+.f64 t y)) z)))
	39.4%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 #s(approx (- y ( -1 t)) t) z)))
	75.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 (-.f64 y (neg.f64 t)) (/.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))))
✓	50.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (neg.f64 (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
	50.1%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (neg.f64 (.f64 t (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) z))))))
✓	74.8%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx (/ (- y ( -1 t)) z) (+.f64 (/.f64 t z) (/.f64 y z)))))
	71.8%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
✓	56.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	57.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y #s(approx (+ ( -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (/.f64 x z))))
	57.3%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y #s(approx (+ ( -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) (.f64 x #s(approx (+ ( -1 (/ t (* y (- 1 z)))) (/ 1 z)) (/.f64 #s(literal 1 binary64) z))))))
	59.8%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y #s(approx (+ ( -1 (/ (* t x) (* y (- 1 z)))) (/ x z)) #s(approx (/ (+ x (/ (* t x) y)) z) (.f64 t (+.f64 (/.f64 x (.f64 t z)) (/.f64 x (*.f64 y z))))))))
	58.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (*.f64 x (/.f64 y z)))
	80.4%	#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)))))
	48.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (neg.f64 (/.f64 (*.f64 t x) (-.f64 #s(literal 1 binary64) z))))
✓	37.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (/.f64 (*.f64 t x) z)))
	37.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (*.f64 t (/.f64 x z))))

Compiler

Compiled 471 to 329 computations (30.1% saved)

regimes233.0ms (4.4%)

Memory

39.5MiB live, 322.7MiB allocated; 75ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 3

3 → 3

6 → 3

7 → 3

8 → 3

18 → 3

21 → 3

23 → 3

25 → 3

35 → 1

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 t (/.f64 x z))))

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

Outputs

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

#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)))

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

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

Outputs

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

#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 x (/.f64 y z)))

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

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

Outputs

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

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

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

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

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

Outputs

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

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

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

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

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

Outputs

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

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

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

Outputs

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

Outputs

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

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

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

Outputs

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

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

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

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

Calls

41 calls:

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

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	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
23.5%	1	`x`
23.5%	1	`z`
45.9%	3	`z`
41.0%	2	`x`
41.3%	3	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
43.7%	4	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
39.5%	2	`t`
47.3%	3	`z`
37.7%	1	`y`
65.8%	3	`t`
67.8%	3	`y`
67.8%	3	`t`
63.5%	3	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
68.0%	3	`y`
65.1%	3	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
61.8%	3	`x`
67.6%	3	`z`
69.6%	4	`t`
71.8%	5	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
73.2%	3	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
72.9%	5	`y`
79.7%	3	`z`
94.7%	3	`z`
94.7%	3	`z`
95.2%	3	`z`
95.2%	3	`z`
83.8%	3	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
80.8%	3	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
75.5%	1	`x`
84.8%	3	`y`
78.6%	2	`t`
96.0%	1	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
96.0%	1	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
96.0%	1	`x`
96.0%	1	`y`
96.0%	1	`z`
96.0%	1	`t`

Compiler

Compiled 1 002 to 403 computations (59.8% saved)

bsearch30.0ms (0.6%)

Memory

-18.0MiB live, 29.8MiB allocated; 11ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.0048851539682232175	1389.7374888882682
16.0ms	-280085.2886312549	-76587.46970407284

Samples

19.0ms

224×

valid

Compiler

Compiled 530 to 436 computations (17.7% saved)

Precisions

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

ival-div!: 11.0ms (82.6% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.0048851539682232175	1389.7374888882682
1.0ms	-280085.2886312549	-76587.46970407284

Compiler

Compiled 580 to 461 computations (20.5% saved)

bsearch19.0ms (0.4%)

Memory

-16.7MiB live, 29.3MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.0048851539682232175	1389.7374888882682
17.0ms	-1.569718564121425e+67	-1.0950646001997633e+52

Samples

8.0ms

160×

valid

Compiler

Compiled 738 to 607 computations (17.8% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.0048851539682232175	1389.7374888882682
1.0ms	-1.569718564121425e+67	-1.0950646001997633e+52

Compiler

Compiled 698 to 587 computations (15.9% saved)

bsearch26.0ms (0.5%)

Memory

1.9MiB live, 48.8MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	2.466129867603117e+75	5.1346132682305075e+79
11.0ms	-1.3237327590865576e+127	-1.1632964908865146e+119

Samples

13.0ms

272×

valid

Compiler

Compiled 592 to 510 computations (13.9% saved)

Precisions

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

ival-div!: 3.0ms (56.4% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch85.0ms (1.6%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
75.0ms	1.1638943243230031e-44	7.339333812988567e-36
6.0ms	-4.044169599840195e-47	-1.5323635644817562e-47

Samples

71.0ms

224×

valid

Compiler

Compiled 546 to 451 computations (17.4% saved)

Precisions

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

ival-div!: 3.0ms (52% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch20.0ms (0.4%)

Memory

-34.9MiB live, 10.9MiB allocated; 11ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	1.1638943243230031e-44	7.339333812988567e-36
1.0ms	-4.044169599840195e-47	-1.5323635644817562e-47

Samples

6.0ms

128×

valid

Compiler

Compiled 630 to 479 computations (24% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch11.0ms (0.2%)

Memory

8.9MiB live, 9.0MiB allocated; 0ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.0048851539682232175	1389.7374888882682
8.0ms	-1.0950646001997633e+52	-2.0573545463439117e+51

Samples

5.0ms

96×

valid

Compiler

Compiled 734 to 527 computations (28.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch2.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.0048851539682232175	1389.7374888882682
1.0ms	-1.0950646001997633e+52	-2.0573545463439117e+51

Compiler

Compiled 734 to 527 computations (28.2% saved)

derivations3.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 669 to 96 computations (85.7% saved)

preprocess297.0ms (5.7%)

Memory: -0.4MiB live, 143.9MiB allocated; 33ms collecting garbage
Remove: (negabs x)
Compiler: Compiled 2 018 to 684 computations (66.1% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze429.0ms (8.2%)

sample1.4s (25.8%)

preprocess85.0ms (1.6%)

series223.0ms (4.3%)

rewrite306.0ms (5.8%)

eval10.0ms (0.2%)

prune9.0ms (0.2%)

series406.0ms (7.7%)

rewrite243.0ms (4.6%)

eval28.0ms (0.5%)

prune12.0ms (0.2%)

series414.0ms (7.9%)

rewrite257.0ms (4.9%)

eval41.0ms (0.8%)

prune13.0ms (0.2%)

series383.0ms (7.3%)

rewrite236.0ms (4.5%)

eval55.0ms (1.1%)

prune19.0ms (0.4%)

regimes233.0ms (4.4%)

bsearch30.0ms (0.6%)

bsearch2.0ms (0%)

bsearch19.0ms (0.4%)

bsearch2.0ms (0%)

bsearch26.0ms (0.5%)

bsearch85.0ms (1.6%)

bsearch20.0ms (0.4%)

bsearch11.0ms (0.2%)

bsearch2.0ms (0%)

derivations3.0ms (0.1%)

preprocess297.0ms (5.7%)

end0.0ms (0%)

Profiling