Metrics for System.Random.MWC.Distributions:standard from mwc-random-0.13.3.2

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample748.0ms (72%)

Memory

10.4MiB live, 559.7MiB allocated; 687ms collecting garbage

Samples

516.0ms

8 256×

valid

Precisions

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

ival-mult!: 78.0ms (79.6% of total)

ival-sub!: 19.0ms (19.4% of total)

adjust: 1.0ms (1% of total)

Bogosity

preprocess63.0ms (6.1%)

Memory

-20.8MiB live, 24.2MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	42
1	58	42
2	189	42
3	432	42
4	889	42
5	2750	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))

Symmetry

(abs x)

Compiler

Compiled 14 to 12 computations (14.3% saved)

series8.0ms (0.7%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	199

Stop Event

1×	iter-limit

Counts

6 → 15

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
1.0ms	x	inf
1.0ms	x	-inf
1.0ms	x	0
1.0ms	y	0
1.0ms	y	-inf

rewrite47.0ms (4.5%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	9	18
1	37	18
0	319	18

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

6 → 60

Calls

Call 1

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

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

eval38.0ms (3.6%)

Memory: -29.3MiB live, 16.7MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 038 to 234 computations (77.5% saved)

prune2.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	3	70

Accuracy

100.0%

Counts

70 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 #s(literal 1/2 binary64) (fma.f64 x x (neg.f64 y)))
✓	100.0%	(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))
▶	47.5%	#s(approx (* 1/2 (- (* x x) y)) (*.f64 #s(literal -1/2 binary64) y))

Compiler

Compiled 25 to 21 computations (16% saved)

series5.0ms (0.5%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	201

Stop Event

1×	iter-limit

Counts

9 → 15

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
1.0ms	y	-inf
1.0ms	y	inf
0.0ms	x	inf
0.0ms	x	-inf
0.0ms	y	0

rewrite34.0ms (3.3%)

Memory

8.2MiB live, 51.6MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	32
0	16	32
1	65	32
0	599	32

Stop Event

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

Counts

9 → 71

Calls

Call 1

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

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

eval7.0ms (0.7%)

Memory: 19.1MiB live, 19.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 246 to 245 computations (80.3% saved)

prune14.0ms (1.4%)

Memory

-54.1MiB live, 11.7MiB allocated; 12ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	76	3	79

Accuracy

100.0%

Counts

79 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 #s(literal 1/2 binary64) (fma.f64 x x (neg.f64 y)))
✓	100.0%	(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))
✓	47.5%	#s(approx (* 1/2 (- (* x x) y)) (*.f64 #s(literal -1/2 binary64) y))

Compiler

Compiled 25 to 21 computations (16% saved)

regimes29.0ms (2.8%)

Memory

-0.8MiB live, 45.4MiB allocated; 4ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

2 → 1

3 → 1

Calls

Call 1

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

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

Call 2

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

Outputs
(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))

Call 3

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

Outputs
(*.f64 #s(literal 1/2 binary64) (fma.f64 x x (neg.f64 y)))

Calls

15 calls:

11.0ms	(-.f64 (*.f64 x x) y)
2.0ms	(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))
2.0ms	y
1.0ms	x
1.0ms	(-.f64 (*.f64 x x) y)

Results

Accuracy	Segments	Branch
47.5%	1	`(*.f64 x x)`
47.5%	1	`(-.f64 (*.f64 x x) y)`
47.5%	1	`(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))`
47.5%	1	`x`
47.5%	1	`y`
100.0%	1	`(*.f64 x x)`
100.0%	1	`(-.f64 (*.f64 x x) y)`
100.0%	1	`(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))`
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(*.f64 x x)`
100.0%	1	`(-.f64 (*.f64 x x) y)`
100.0%	1	`(.f64 #s(literal 1/2 binary64) (-.f64 (.f64 x x) y))`
100.0%	1	`x`
100.0%	1	`y`

Compiler

Compiled 76 to 67 computations (11.8% saved)

derivations3.0ms (0.3%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 25 to 16 computations (36% saved)

preprocess41.0ms (3.9%)

Memory: -6.9MiB live, 39.7MiB allocated; 3ms collecting garbage
Remove: (abs x)
Compiler: Compiled 82 to 64 computations (22% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample748.0ms (72%)

preprocess63.0ms (6.1%)

series8.0ms (0.7%)

rewrite47.0ms (4.5%)

eval38.0ms (3.6%)

prune2.0ms (0.2%)

series5.0ms (0.5%)

rewrite34.0ms (3.3%)

eval7.0ms (0.7%)

prune14.0ms (1.4%)

regimes29.0ms (2.8%)

derivations3.0ms (0.3%)

preprocess41.0ms (3.9%)

end0.0ms (0%)

Profiling