Metrics for Graphics.Rasterific.Svg.PathConverter:arcToSegments from rasterific-svg-0.2.3.1

start0.0ms (0%)

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

analyze329.0ms (8.6%)

Memory

-7.3MiB live, 239.5MiB allocated; 110ms 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
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	9
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	10
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample1.2s (30.1%)

Memory

20.5MiB live, 1 247.4MiB allocated; 224ms collecting garbage

Samples

691.0ms

8 256×

valid

Precisions

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

ival-mult!: 201.0ms (67.7% of total)

ival-div!: 76.0ms (25.6% of total)

ival-add!: 19.0ms (6.4% of total)

adjust: 2.0ms (0.7% of total)

Bogosity

preprocess22.0ms (0.6%)

Memory

-8.2MiB live, 37.9MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	229

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	70.5%	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))

Symmetry

(abs x)

(abs y)

(abs z)

(abs t)

Compiler

Compiled 30 to 22 computations (26.7% saved)

series140.0ms (3.6%)

Memory

31.8MiB live, 161.5MiB allocated; 50ms collecting garbage

Counts

11 → 15

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite202.0ms (5.3%)

Memory

-21.8MiB live, 86.0MiB allocated; 96ms collecting garbage

Counts

11 → 44

Calls

Call 1

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

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

eval8.0ms (0.2%)

Memory: 9.0MiB live, 9.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 908 to 168 computations (81.5% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	42	6	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	7	49

Accuracy

96.5%

Counts

49 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	81.6%	(fma.f64 (/.f64 z t) (/.f64 z t) (/.f64 (.f64 x x) (.f64 y y)))
▶	85.2%	(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (.f64 z z) (.f64 t t)))
▶	76.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
▶	77.1%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))
	79.3%	(+.f64 (/.f64 (/.f64 (.f64 x x) y) y) (/.f64 (.f64 z z) (*.f64 t t)))
▶	74.9%	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (/.f64 (*.f64 z z) t) t))
✓	70.5%	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))

Compiler

Compiled 187 to 131 computations (29.9% saved)

series159.0ms (4.1%)

Memory

-20.6MiB live, 170.5MiB allocated; 36ms collecting garbage

Counts

21 → 20

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
6.0ms	y	inf
5.0ms	y	0
4.0ms	x	-inf
4.0ms	x	inf
3.0ms	x	0

rewrite209.0ms (5.4%)

Memory

4.9MiB live, 186.6MiB allocated; 40ms collecting garbage

Counts

21 → 186

Calls

Call 1

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

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

eval54.0ms (1.4%)

Memory: 52.2MiB live, 86.9MiB allocated; 24ms collecting garbage
Compiler: Compiled 2 917 to 375 computations (87.1% saved)

prune23.0ms (0.6%)

Memory

-20.6MiB live, 24.7MiB allocated; 14ms collecting garbage

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	162	11	173
Fresh	1	0	1
Picked	3	2	5
Done	1	0	1
Total	167	13	180

Accuracy

99.9%

Counts

180 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	91.9%	(fma.f64 (/.f64 z t) (/.f64 z t) (/.f64 (/.f64 (*.f64 x x) y) y))
	89.8%	(fma.f64 (/.f64 z t) (/.f64 z t) (.f64 (/.f64 x (.f64 y y)) x))
	90.1%	(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (/.f64 (*.f64 z z) t) t))
▶	97.4%	(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (*.f64 (/.f64 z t) z) t))
▶	92.3%	(fma.f64 (/.f64 x y) (/.f64 x y) (.f64 (/.f64 z (.f64 t t)) z))
	80.8%	(fma.f64 z (/.f64 (/.f64 z t) t) (/.f64 (.f64 x x) (.f64 y y)))
▶	85.7%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
	89.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
✓	76.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
▶	83.1%	(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
▶	83.8%	(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
	87.5%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
✓	77.1%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))

Compiler

Compiled 336 to 230 computations (31.5% saved)

series168.0ms (4.4%)

Memory

-23.5MiB live, 82.0MiB allocated; 55ms collecting garbage

Counts

25 → 21

Calls

Call 1

Inputs
(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (*.f64 (/.f64 z t) z) t))
(/.f64 x y)
x
y
(/.f64 (*.f64 (/.f64 z t) z) t)
(*.f64 (/.f64 z t) z)
(/.f64 z t)
z
t
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(/.f64 z (*.f64 t t))
(*.f64 t t)
(.f64 (/.f64 x (.f64 y y)) x)
(/.f64 x (*.f64 y y))
(*.f64 y y)
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
(/.f64 (/.f64 x y) y)
(/.f64 (.f64 z z) (.f64 t t))
(*.f64 z z)
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
(/.f64 (/.f64 (*.f64 x x) y) y)
(/.f64 (*.f64 x x) y)
(*.f64 x x)
(fma.f64 (/.f64 x y) (/.f64 x y) (.f64 (/.f64 z (.f64 t t)) z))
(.f64 (/.f64 z (.f64 t t)) z)

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

Calls

12 calls:

Time	Variable	Point
7.0ms	t	-inf
2.0ms	z	-inf
2.0ms	x	inf
2.0ms	x	-inf
2.0ms	z	inf

rewrite214.0ms (5.6%)

Memory

7.0MiB live, 101.3MiB allocated; 40ms collecting garbage

Counts

25 → 198

Calls

Call 1

Inputs
(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (*.f64 (/.f64 z t) z) t))
(/.f64 x y)
x
y
(/.f64 (*.f64 (/.f64 z t) z) t)
(*.f64 (/.f64 z t) z)
(/.f64 z t)
z
t
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(/.f64 z (*.f64 t t))
(*.f64 t t)
(.f64 (/.f64 x (.f64 y y)) x)
(/.f64 x (*.f64 y y))
(*.f64 y y)
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
(/.f64 (/.f64 x y) y)
(/.f64 (.f64 z z) (.f64 t t))
(*.f64 z z)
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
(/.f64 (/.f64 (*.f64 x x) y) y)
(/.f64 (*.f64 x x) y)
(*.f64 x x)
(fma.f64 (/.f64 x y) (/.f64 x y) (.f64 (/.f64 z (.f64 t t)) z))
(.f64 (/.f64 z (.f64 t t)) z)

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

eval11.0ms (0.3%)

Memory: 19.2MiB live, 19.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 130 to 349 computations (83.6% saved)

prune9.0ms (0.2%)

Memory

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

Pruning

13 alts after pruning (7 fresh and 6 done)

	Pruned	Kept	Total
New	119	4	123
Fresh	3	3	6
Picked	1	4	5
Done	0	2	2
Total	123	13	136

Accuracy

100.0%

Counts

136 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	89.8%	(fma.f64 (/.f64 z t) (/.f64 z t) (.f64 (/.f64 x (.f64 y y)) x))
	97.4%	(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (.f64 (.f64 z (/.f64 #s(literal 1 binary64) t)) z) t))
▶	98.9%	(fma.f64 (/.f64 x y) (/.f64 x y) (*.f64 (/.f64 (/.f64 z t) t) z))
✓	92.3%	(fma.f64 (/.f64 x y) (/.f64 x y) (.f64 (/.f64 z (.f64 t t)) z))
▶	89.0%	(fma.f64 z (/.f64 (/.f64 z t) t) (.f64 (/.f64 x (.f64 y y)) x))
✓	85.7%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
▶	89.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
	85.6%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (*.f64 x x) (/.f64 #s(literal 1 binary64) y)) y))
✓	76.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
✓	83.1%	(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
✓	83.8%	(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
▶	87.5%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
✓	77.1%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))

Compiler

Compiled 288 to 201 computations (30.2% saved)

series254.0ms (6.6%)

Memory

-24.2MiB live, 91.0MiB allocated; 225ms collecting garbage

Counts

22 → 19

Calls

Call 1

Inputs
(fma.f64 (/.f64 x y) (/.f64 x y) (*.f64 (/.f64 (/.f64 z t) t) z))
(/.f64 x y)
x
y
(*.f64 (/.f64 (/.f64 z t) t) z)
(/.f64 (/.f64 z t) t)
(/.f64 z t)
z
t
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
(/.f64 x (*.f64 y y))
(*.f64 y y)
(/.f64 (*.f64 (/.f64 z t) z) t)
(*.f64 (/.f64 z t) z)
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
(/.f64 z (*.f64 t t))
(*.f64 t t)
(/.f64 (*.f64 (/.f64 x y) x) y)
(*.f64 (/.f64 x y) x)
(fma.f64 z (/.f64 (/.f64 z t) t) (.f64 (/.f64 x (.f64 y y)) x))
(.f64 (/.f64 x (.f64 y y)) x)
(fma.f64 (/.f64 z t) (/.f64 z t) (.f64 (/.f64 x (.f64 y y)) x))

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

Calls

12 calls:

Time	Variable	Point
6.0ms	x	inf
2.0ms	x	-inf
2.0ms	z	inf
2.0ms	z	-inf
2.0ms	t	-inf

rewrite240.0ms (6.2%)

Memory

-2.1MiB live, 97.2MiB allocated; 49ms collecting garbage

Counts

22 → 180

Calls

Call 1

Inputs
(fma.f64 (/.f64 x y) (/.f64 x y) (*.f64 (/.f64 (/.f64 z t) t) z))
(/.f64 x y)
x
y
(*.f64 (/.f64 (/.f64 z t) t) z)
(/.f64 (/.f64 z t) t)
(/.f64 z t)
z
t
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
(/.f64 x (*.f64 y y))
(*.f64 y y)
(/.f64 (*.f64 (/.f64 z t) z) t)
(*.f64 (/.f64 z t) z)
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
(/.f64 z (*.f64 t t))
(*.f64 t t)
(/.f64 (*.f64 (/.f64 x y) x) y)
(*.f64 (/.f64 x y) x)
(fma.f64 z (/.f64 (/.f64 z t) t) (.f64 (/.f64 x (.f64 y y)) x))
(.f64 (/.f64 x (.f64 y y)) x)
(fma.f64 (/.f64 z t) (/.f64 z t) (.f64 (/.f64 x (.f64 y y)) x))

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

eval21.0ms (0.5%)

Memory: -31.4MiB live, 14.0MiB allocated; 11ms collecting garbage
Compiler: Compiled 2 114 to 321 computations (84.8% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

13 alts after pruning (2 fresh and 11 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	2	0	2
Picked	0	5	5
Done	0	6	6
Total	122	13	135

Accuracy

100.0%

Counts

135 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	89.8%	(fma.f64 (/.f64 z t) (/.f64 z t) (.f64 (/.f64 x (.f64 y y)) x))
✓	98.9%	(fma.f64 (/.f64 x y) (/.f64 x y) (*.f64 (/.f64 (/.f64 z t) t) z))
✓	92.3%	(fma.f64 (/.f64 x y) (/.f64 x y) (.f64 (/.f64 z (.f64 t t)) z))
✓	89.0%	(fma.f64 z (/.f64 (/.f64 z t) t) (.f64 (/.f64 x (.f64 y y)) x))
	89.0%	(fma.f64 z (/.f64 (.f64 z (/.f64 #s(literal 1 binary64) t)) t) (.f64 (/.f64 x (*.f64 y y)) x))
✓	85.7%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
✓	89.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
	89.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (*.f64 x (/.f64 #s(literal 1 binary64) y)) x) y))
✓	76.1%	(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
✓	83.1%	(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
✓	83.8%	(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
✓	87.5%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
✓	77.1%	(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))

Compiler

Compiled 186 to 131 computations (29.6% saved)

regimes444.0ms (11.6%)

Memory

18.8MiB live, 306.7MiB allocated; 53ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

3 → 1

4 → 1

7 → 2

9 → 2

11 → 2

14 → 2

24 → 1

Calls

Call 1

Inputs
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))

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

Call 2

Inputs
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))

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

Call 3

Inputs
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))

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

Call 4

Inputs
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))

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

Call 5

Inputs
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
(fma.f64 z (/.f64 (/.f64 z t) t) (.f64 (/.f64 x (.f64 y y)) x))
(fma.f64 z (/.f64 (/.f64 z t) t) (/.f64 (.f64 x x) (.f64 y y)))

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

Call 6

Inputs
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 z z) (*.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (.f64 (/.f64 x (*.f64 y y)) x))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 x x) (*.f64 y y)))
(fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (.f64 (/.f64 z t) z) t))
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (.f64 z z) (.f64 t t)))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (.f64 (/.f64 x y) x) y))
(fma.f64 z (/.f64 z (.f64 t t)) (/.f64 (/.f64 (.f64 x x) y) y))
(fma.f64 z (/.f64 (/.f64 z t) t) (.f64 (/.f64 x (.f64 y y)) x))
(fma.f64 z (/.f64 (/.f64 z t) t) (/.f64 (.f64 x x) (.f64 y y)))
(fma.f64 (/.f64 x y) (/.f64 x y) (.f64 (/.f64 z (.f64 t t)) z))
(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (.f64 z z) (.f64 t t)))

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

Call 7

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

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

Call 8

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

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

Calls

72 calls:

51.0ms	y
42.0ms	y
40.0ms	(/.f64 (.f64 x x) (.f64 y y))
13.0ms	z
13.0ms	t

Results

Accuracy	Segments	Branch
77.1%	1	`(*.f64 t t)`
77.1%	1	`(*.f64 z z)`
77.1%	1	`(/.f64 (.f64 z z) (.f64 t t))`
77.1%	1	`(*.f64 y y)`
77.1%	1	`(*.f64 x x)`
77.1%	1	`(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))`
77.1%	1	`x`
77.1%	1	`(/.f64 (.f64 x x) (.f64 y y))`
77.1%	1	`z`
77.1%	1	`t`
77.1%	1	`y`
83.1%	1	`(*.f64 z z)`
83.1%	1	`(/.f64 (.f64 z z) (.f64 t t))`
83.1%	1	`(*.f64 x x)`
83.1%	1	`x`
83.1%	1	`y`
83.1%	1	`z`
83.1%	1	`(*.f64 t t)`
83.1%	1	`(*.f64 y y)`
83.1%	1	`(/.f64 (.f64 x x) (.f64 y y))`
83.1%	1	`(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))`
83.1%	1	`t`
87.5%	1	`(*.f64 x x)`
87.5%	1	`(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))`
87.5%	1	`x`
87.5%	1	`t`
87.5%	1	`(*.f64 t t)`
87.5%	1	`(*.f64 z z)`
87.5%	1	`z`
87.5%	1	`(*.f64 y y)`
87.5%	1	`y`
87.5%	1	`(/.f64 (.f64 x x) (.f64 y y))`
87.5%	1	`(/.f64 (.f64 z z) (.f64 t t))`
93.1%	2	`(/.f64 (.f64 x x) (.f64 y y))`
89.1%	1	`(*.f64 x x)`
89.1%	1	`(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))`
91.3%	2	`x`
93.2%	2	`(/.f64 (.f64 z z) (.f64 t t))`
93.0%	2	`(*.f64 y y)`
93.0%	2	`y`
91.7%	2	`(*.f64 t t)`
91.7%	2	`t`
92.4%	2	`(*.f64 z z)`
94.1%	3	`z`
94.5%	2	`(*.f64 y y)`
94.5%	2	`y`
94.2%	2	`(/.f64 (.f64 z z) (.f64 t t))`
93.5%	2	`(/.f64 (.f64 x x) (.f64 y y))`
96.4%	2	`(/.f64 (.f64 z z) (.f64 t t))`
96.4%	2	`(/.f64 (.f64 x x) (.f64 y y))`
94.9%	2	`(*.f64 t t)`
95.3%	2	`(*.f64 z z)`
97.1%	2	`(/.f64 (.f64 z z) (.f64 t t))`
96.0%	2	`(*.f64 y y)`
92.3%	1	`(*.f64 x x)`
97.1%	2	`(/.f64 (.f64 x x) (.f64 y y))`
92.3%	1	`(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))`
92.3%	1	`x`
96.0%	2	`y`
95.3%	2	`z`
94.9%	2	`t`
98.9%	1	`(*.f64 t t)`
98.9%	1	`(*.f64 z z)`
98.9%	1	`(/.f64 (.f64 z z) (.f64 t t))`
98.9%	1	`(*.f64 y y)`
98.9%	1	`(*.f64 x x)`
98.9%	1	`(/.f64 (.f64 x x) (.f64 y y))`
98.9%	1	`(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))`
98.9%	1	`x`
98.9%	1	`y`
98.9%	1	`z`
98.9%	1	`t`

Compiler

Compiled 649 to 466 computations (28.2% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	7.411435393067835e+287	2.8071192232259384e+291

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	7.411435393067835e+287	2.8071192232259384e+291

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch11.0ms (0.3%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	1.6598090141286676e-158	9.382749138368882e-158

Samples

5.0ms

96×

valid

Compiler

Compiled 186 to 150 computations (19.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.7459644177697965e+260	3.267857398570011e+265

Compiler

Compiled 18 to 18 computations (0% saved)

derivations9.0ms (0.2%)

Memory

-40.2MiB live, 5.9MiB allocated; 3ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 202 to 42 computations (79.2% saved)

preprocess147.0ms (3.8%)

Memory

3.3MiB live, 192.2MiB allocated; 27ms collecting garbage

Remove

(abs t)

(abs z)

(abs y)

(abs x)

Compiler

Compiled 1 897 to 1 019 computations (46.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze329.0ms (8.6%)

sample1.2s (30.1%)

preprocess22.0ms (0.6%)

series140.0ms (3.6%)

rewrite202.0ms (5.3%)

eval8.0ms (0.2%)

prune7.0ms (0.2%)

series159.0ms (4.1%)

rewrite209.0ms (5.4%)

eval54.0ms (1.4%)

prune23.0ms (0.6%)

series168.0ms (4.4%)

rewrite214.0ms (5.6%)

eval11.0ms (0.3%)

prune9.0ms (0.2%)

series254.0ms (6.6%)

rewrite240.0ms (6.2%)

eval21.0ms (0.5%)

prune7.0ms (0.2%)

regimes444.0ms (11.6%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch11.0ms (0.3%)

bsearch1.0ms (0%)

derivations9.0ms (0.2%)

preprocess147.0ms (3.8%)

end0.0ms (0%)

Profiling