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

analyze0.0ms (0%)

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 10 to 7 computations (30% saved)

sample690.0ms (39.4%)

Results

497.0ms	6235×	body	256	valid
166.0ms	2020×	body	256	infinite
0.0ms	1×	body	1024	valid

Bogosity

preprocess57.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

894×	`fma-def`
142×	`unsub-neg`
130×	`associate-r`
98×	`distribute-lft-in`
78×	`associate-l`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	80
1	42	72
2	100	72
3	291	72
4	649	72
5	1053	72
6	1203	72
7	1214	72

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 1/2 (-.f64 (.f64 x x) y))
(.f64 1/2 (-.f64 (.f64 (neg.f64 x) (neg.f64 x)) y))
(.f64 1/2 (-.f64 (.f64 x x) (neg.f64 y)))
(.f64 1/2 (-.f64 (.f64 y y) x))

Outputs
(.f64 1/2 (-.f64 (.f64 x x) y))
(.f64 1/2 (-.f64 (.f64 (neg.f64 x) (neg.f64 x)) y))
(.f64 1/2 (-.f64 (.f64 x x) y))
(.f64 1/2 (-.f64 (.f64 x x) (neg.f64 y)))
(*.f64 1/2 (fma.f64 x x y))
(.f64 1/2 (-.f64 (.f64 y y) x))

Symmetry

(abs x)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify24.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

630×	`fma-def`
76×	`distribute-lft-in`
74×	`unsub-neg`
68×	`distribute-rgt-in`
56×	`distribute-lft-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 1/2 (-.f64 (.f64 x x) y))

Outputs
(.f64 1/2 (-.f64 (.f64 x x) y))

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

prune20.0ms (1.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Accurracy

100.0%

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize25.0ms (1.4%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(-.f64 (*.f64 x x) y)

Compiler

Compiled 21 to 8 computations (61.9% saved)

series1.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(-.f64 (*.f64 x x) y)
0.0ms	x	@	0	(-.f64 (*.f64 x x) y)
0.0ms	y	@	inf	(-.f64 (*.f64 x x) y)
0.0ms	y	@	0	(-.f64 (*.f64 x x) y)
0.0ms	y	@	-inf	(-.f64 (*.f64 x x) y)

rewrite55.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1408×	`pow1`
1308×	`add-exp-log`
1308×	`log1p-expm1-u`
1308×	`expm1-log1p-u`
1280×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	132	13
2	1799	13

Stop Event

1×	node limit

Counts

1 → 35

Calls

Call 1

Inputs
(-.f64 (*.f64 x x) y)

Outputs
(+.f64 (*.f64 x x) (neg.f64 y))
(+.f64 (.f64 x x) (.f64 (neg.f64 y) 1))
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 y) 1 y))
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2) y))
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 (sqrt.f64 y)) (sqrt.f64 y) y))
(+.f64 (neg.f64 y) (*.f64 x x))
(.f64 (-.f64 (.f64 x x) y) 1)
(.f64 1 (-.f64 (.f64 x x) y))
(.f64 (cbrt.f64 (-.f64 (.f64 x x) y)) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) y)) 2))
(.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 x x) y)) 2) (cbrt.f64 (-.f64 (*.f64 x x) y)))
(.f64 (sqrt.f64 (-.f64 (.f64 x x) y)) (sqrt.f64 (-.f64 (*.f64 x x) y)))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(.f64 (-.f64 (pow.f64 x 4) (.f64 y y)) (/.f64 1 (fma.f64 x x y)))
(*.f64 (+.f64 x (sqrt.f64 y)) (-.f64 x (sqrt.f64 y)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y))) (-.f64 (pow.f64 x 6) (pow.f64 y 3))))
(/.f64 1 (/.f64 (fma.f64 x x y) (-.f64 (pow.f64 x 4) (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y))))
(/.f64 (-.f64 (pow.f64 x 4) (*.f64 y y)) (fma.f64 x x y))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3))) (neg.f64 (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (*.f64 y y))) (neg.f64 (fma.f64 x x y)))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 (neg.f64 y) 3)) (+.f64 (pow.f64 x 4) (-.f64 (.f64 (neg.f64 y) (neg.f64 y)) (.f64 (*.f64 x x) (neg.f64 y)))))
(/.f64 (-.f64 (pow.f64 x 4) (.f64 (neg.f64 y) (neg.f64 y))) (-.f64 (.f64 x x) (neg.f64 y)))
(pow.f64 (-.f64 (*.f64 x x) y) 1)
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) y)) 3)
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) y) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) y)) 2)
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) y) 2))
(log.f64 (exp.f64 (-.f64 (*.f64 x x) y)))
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) y) 3))
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) y)))
(exp.f64 (log.f64 (-.f64 (*.f64 x x) y)))
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) y)))
(fma.f64 x x (neg.f64 y))
(fma.f64 1 (*.f64 x x) (neg.f64 y))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (neg.f64 y))

simplify65.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1348×	`div-sub`
1026×	`fma-neg`
790×	`fma-def`
750×	`associate-r`
680×	`associate-l`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	101	965
1	249	915
2	892	915
3	4610	915

Stop Event

1×	node limit

Counts

59 → 43

Calls

Call 1

Inputs
(*.f64 -1 y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(*.f64 -1 y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(*.f64 -1 y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(+.f64 (*.f64 x x) (neg.f64 y))
(+.f64 (.f64 x x) (.f64 (neg.f64 y) 1))
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 y) 1 y))
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2) y))
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 (sqrt.f64 y)) (sqrt.f64 y) y))
(+.f64 (neg.f64 y) (*.f64 x x))
(.f64 (-.f64 (.f64 x x) y) 1)
(.f64 1 (-.f64 (.f64 x x) y))
(.f64 (cbrt.f64 (-.f64 (.f64 x x) y)) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) y)) 2))
(.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 x x) y)) 2) (cbrt.f64 (-.f64 (*.f64 x x) y)))
(.f64 (sqrt.f64 (-.f64 (.f64 x x) y)) (sqrt.f64 (-.f64 (*.f64 x x) y)))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(.f64 (-.f64 (pow.f64 x 4) (.f64 y y)) (/.f64 1 (fma.f64 x x y)))
(*.f64 (+.f64 x (sqrt.f64 y)) (-.f64 x (sqrt.f64 y)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y))) (-.f64 (pow.f64 x 6) (pow.f64 y 3))))
(/.f64 1 (/.f64 (fma.f64 x x y) (-.f64 (pow.f64 x 4) (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y))))
(/.f64 (-.f64 (pow.f64 x 4) (*.f64 y y)) (fma.f64 x x y))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3))) (neg.f64 (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (*.f64 y y))) (neg.f64 (fma.f64 x x y)))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 (neg.f64 y) 3)) (+.f64 (pow.f64 x 4) (-.f64 (.f64 (neg.f64 y) (neg.f64 y)) (.f64 (*.f64 x x) (neg.f64 y)))))
(/.f64 (-.f64 (pow.f64 x 4) (.f64 (neg.f64 y) (neg.f64 y))) (-.f64 (.f64 x x) (neg.f64 y)))
(pow.f64 (-.f64 (*.f64 x x) y) 1)
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) y)) 3)
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) y) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) y)) 2)
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) y) 2))
(log.f64 (exp.f64 (-.f64 (*.f64 x x) y)))
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) y) 3))
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) y)))
(exp.f64 (log.f64 (-.f64 (*.f64 x x) y)))
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) y)))
(fma.f64 x x (neg.f64 y))
(fma.f64 1 (*.f64 x x) (neg.f64 y))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (neg.f64 y))

Outputs
(*.f64 -1 y)
(neg.f64 y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(*.f64 -1 y)
(neg.f64 y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(*.f64 -1 y)
(neg.f64 y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (pow.f64 x 2) (*.f64 -1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (*.f64 x x) (neg.f64 y))
(-.f64 (*.f64 x x) y)
(+.f64 (.f64 x x) (.f64 (neg.f64 y) 1))
(-.f64 (*.f64 x x) y)
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 y) 1 y))
(-.f64 (*.f64 x x) y)
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2) y))
(-.f64 (*.f64 x x) y)
(+.f64 (-.f64 (*.f64 x x) y) (fma.f64 (neg.f64 (sqrt.f64 y)) (sqrt.f64 y) y))
(-.f64 (*.f64 x x) y)
(+.f64 (neg.f64 y) (*.f64 x x))
(-.f64 (*.f64 x x) y)
(.f64 (-.f64 (.f64 x x) y) 1)
(-.f64 (*.f64 x x) y)
(.f64 1 (-.f64 (.f64 x x) y))
(-.f64 (*.f64 x x) y)
(.f64 (cbrt.f64 (-.f64 (.f64 x x) y)) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) y)) 2))
(-.f64 (*.f64 x x) y)
(.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 x x) y)) 2) (cbrt.f64 (-.f64 (*.f64 x x) y)))
(-.f64 (*.f64 x x) y)
(.f64 (sqrt.f64 (-.f64 (.f64 x x) y)) (sqrt.f64 (-.f64 (*.f64 x x) y)))
(-.f64 (*.f64 x x) y)
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (fma.f64 y (fma.f64 x x y) (pow.f64 x 4)))
(.f64 (-.f64 (pow.f64 x 4) (.f64 y y)) (/.f64 1 (fma.f64 x x y)))
(-.f64 (*.f64 x x) y)
(*.f64 (+.f64 x (sqrt.f64 y)) (-.f64 x (sqrt.f64 y)))
(-.f64 (*.f64 x x) y)
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y))) (-.f64 (pow.f64 x 6) (pow.f64 y 3))))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (fma.f64 y (fma.f64 x x y) (pow.f64 x 4)))
(/.f64 1 (/.f64 (fma.f64 x x y) (-.f64 (pow.f64 x 4) (*.f64 y y))))
(-.f64 (*.f64 x x) y)
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y))))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (fma.f64 y (fma.f64 x x y) (pow.f64 x 4)))
(/.f64 (-.f64 (pow.f64 x 4) (*.f64 y y)) (fma.f64 x x y))
(-.f64 (*.f64 x x) y)
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3))) (neg.f64 (+.f64 (pow.f64 x 4) (*.f64 y (fma.f64 x x y)))))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (fma.f64 y (fma.f64 x x y) (pow.f64 x 4)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (*.f64 y y))) (neg.f64 (fma.f64 x x y)))
(-.f64 (*.f64 x x) y)
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 (neg.f64 y) 3)) (+.f64 (pow.f64 x 4) (-.f64 (.f64 (neg.f64 y) (neg.f64 y)) (.f64 (*.f64 x x) (neg.f64 y)))))
(.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (/.f64 1 (+.f64 (pow.f64 x 4) (.f64 y (fma.f64 x x y)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 3)) (fma.f64 y (fma.f64 x x y) (pow.f64 x 4)))
(/.f64 (-.f64 (pow.f64 x 4) (.f64 (neg.f64 y) (neg.f64 y))) (-.f64 (.f64 x x) (neg.f64 y)))
(-.f64 (*.f64 x x) y)
(pow.f64 (-.f64 (*.f64 x x) y) 1)
(-.f64 (*.f64 x x) y)
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) y)) 3)
(-.f64 (*.f64 x x) y)
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) y) 3) 1/3)
(-.f64 (*.f64 x x) y)
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) y)) 2)
(-.f64 (*.f64 x x) y)
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) y) 2))
(-.f64 (*.f64 x x) y)
(log.f64 (exp.f64 (-.f64 (*.f64 x x) y)))
(-.f64 (*.f64 x x) y)
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) y) 3))
(-.f64 (*.f64 x x) y)
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) y)))
(-.f64 (*.f64 x x) y)
(exp.f64 (log.f64 (-.f64 (*.f64 x x) y)))
(-.f64 (*.f64 x x) y)
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) y)))
(-.f64 (*.f64 x x) y)
(fma.f64 x x (neg.f64 y))
(-.f64 (*.f64 x x) y)
(fma.f64 1 (*.f64 x x) (neg.f64 y))
(-.f64 (*.f64 x x) y)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (neg.f64 y))
(-.f64 (.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (.f64 x x))) y)

eval9.0ms (0.5%)

Compiler: Compiled 536 to 264 computations (50.7% saved)

prune9.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	4	44

Accurracy

100.0%

Counts

44 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	100.0%	(.f64 1/2 (-.f64 (.f64 x x) y))
▶	49.5%	(.f64 1/2 (.f64 x x))
▶	51.6%	(*.f64 1/2 (neg.f64 y))
▶	100.0%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	100.0%	(.f64 1/2 (-.f64 (.f64 x x) y))
▶	49.5%	(.f64 1/2 (.f64 x x))
▶	51.6%	(*.f64 1/2 (neg.f64 y))

Compiler

Compiled 62 to 44 computations (29% saved)

localize39.0ms (2.3%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 1/2 (.f64 x x))

Compiler

Compiled 38 to 15 computations (60.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(.f64 1/2 (.f64 x x))
0.0ms	x	@	0	(.f64 1/2 (.f64 x x))
0.0ms	x	@	-inf	(.f64 1/2 (.f64 x x))

rewrite124.0ms (7.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1058×	`pow1`
1024×	`add-sqr-sqrt`
976×	`add-exp-log`
976×	`log1p-expm1-u`
976×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	122	13
2	1383	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 1/2 (.f64 x x))

Outputs
(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
(pow.f64 (.f64 1/2 (.f64 x x)) 1)
(pow.f64 (cbrt.f64 (.f64 1/2 (.f64 x x))) 3)
(pow.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 1/2)) 2)
(sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))
(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 x x))))
(exp.f64 (log.f64 (.f64 1/2 (.f64 x x))))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 x x))))

simplify60.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

2120×	`log-prod`
1106×	`distribute-rgt-in`
1092×	`distribute-lft-in`
768×	`associate-r`
688×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	299
1	90	299
2	319	299
3	2131	299
4	7005	299

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
(pow.f64 (.f64 1/2 (.f64 x x)) 1)
(pow.f64 (cbrt.f64 (.f64 1/2 (.f64 x x))) 3)
(pow.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 1/2)) 2)
(sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))
(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 x x))))
(exp.f64 (log.f64 (.f64 1/2 (.f64 x x))))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 x x))))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
(.f64 1/2 (.f64 x x))
(pow.f64 (.f64 1/2 (.f64 x x)) 1)
(.f64 1/2 (.f64 x x))
(pow.f64 (cbrt.f64 (.f64 1/2 (.f64 x x))) 3)
(.f64 1/2 (.f64 x x))
(pow.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3) 1/3)
(.f64 1/2 (.f64 x x))
(pow.f64 (*.f64 x (sqrt.f64 1/2)) 2)
(.f64 1/2 (.f64 x x))
(sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))
(.f64 1/2 (.f64 x x))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))
(.f64 1/2 (.f64 x x))
(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3))
(.f64 1/2 (.f64 x x))
(expm1.f64 (log1p.f64 (.f64 1/2 (.f64 x x))))
(.f64 1/2 (.f64 x x))
(exp.f64 (log.f64 (.f64 1/2 (.f64 x x))))
(.f64 1/2 (.f64 x x))
(log1p.f64 (expm1.f64 (.f64 1/2 (.f64 x x))))
(.f64 1/2 (.f64 x x))

eval3.0ms (0.1%)

Compiler: Compiled 93 to 61 computations (34.4% saved)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	13	4	17

Accurracy

100.0%

Counts

17 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	100.0%	(.f64 1/2 (-.f64 (.f64 x x) y))
✓	49.5%	(.f64 1/2 (.f64 x x))
✓	51.6%	(*.f64 1/2 (neg.f64 y))

Compiler

Compiled 56 to 36 computations (35.7% saved)

regimes21.0ms (1.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 1/2 (neg.f64 y))
(.f64 1/2 (.f64 x x))
(.f64 1/2 (-.f64 (.f64 x x) y))
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))

Outputs
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))

Calls

5 calls:

6.0ms	(.f64 1/2 (-.f64 (.f64 x x) y))
4.0ms	(-.f64 (*.f64 x x) y)
4.0ms	y
4.0ms	x
3.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(.f64 1/2 (-.f64 (.f64 x x) y))`
100.0%	1	`(-.f64 (*.f64 x x) y)`
100.0%	1	`(*.f64 x x)`

Compiler

Compiled 52 to 31 computations (40.4% saved)

regimes52.0ms (3%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 1/2 (neg.f64 y))
(.f64 1/2 (.f64 x x))
(.f64 1/2 (-.f64 (.f64 x x) y))

Outputs
(.f64 1/2 (-.f64 (.f64 x x) y))

Calls

5 calls:

37.0ms	y
4.0ms	(.f64 1/2 (-.f64 (.f64 x x) y))
4.0ms	x
4.0ms	(-.f64 (*.f64 x x) y)
3.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(.f64 1/2 (-.f64 (.f64 x x) y))`
100.0%	1	`(-.f64 (*.f64 x x) y)`
100.0%	1	`(*.f64 x x)`

Compiler

Compiled 45 to 28 computations (37.8% saved)

regimes112.0ms (6.4%)

Counts

2 → 4

Calls

Call 1

Inputs
(*.f64 1/2 (neg.f64 y))
(.f64 1/2 (.f64 x x))

Outputs
(*.f64 1/2 (neg.f64 y))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (neg.f64 y))
(.f64 1/2 (.f64 x x))

Calls

3 calls:

83.0ms	y
16.0ms	x
12.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
88.7%	4	`x`
74.9%	11	`y`
88.7%	4	`(*.f64 x x)`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes6.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 1/2 (neg.f64 y))

Outputs
(*.f64 1/2 (neg.f64 y))

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
51.6%	1	`y`
51.6%	1	`x`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch28.0ms (1.6%)

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
10.0ms	2.542579591465303e+81	3.6244830280055874e+83
11.0ms	1.3468415335282925e-6	2.589949186768147e-5
6.0ms	1.1869044799707475e-38	1.991454200657636e-38

Results

24.0ms

288×

body

256

valid

Compiler

Compiled 248 to 208 computations (16.1% saved)

simplify9.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
8×	`sub-neg`
8×	`+-commutative`
6×	`neg-mul-1`
6×	`neg-sub0`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	136
1	43	132
2	55	132
3	64	128
4	68	128
5	70	128

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
(.f64 1/2 (-.f64 (.f64 x x) y))
(if (<=.f64 (.f64 x x) 1819838454778243/95780971304118053647396689196894323976171195136475136) (.f64 1/2 (neg.f64 y)) (if (<=.f64 (.f64 x x) 7201608886376209/1180591620717411303424) (.f64 1/2 (.f64 x x)) (if (<=.f64 (.f64 x x) 8600000000000000291897250453451849201491182631676958459400862412510175216158113792) (.f64 1/2 (neg.f64 y)) (.f64 1/2 (*.f64 x x)))))
(*.f64 1/2 (neg.f64 y))

Outputs
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
(.f64 1/2 (-.f64 (.f64 x x) y))
(if (<=.f64 (.f64 x x) 1819838454778243/95780971304118053647396689196894323976171195136475136) (.f64 1/2 (neg.f64 y)) (if (<=.f64 (.f64 x x) 7201608886376209/1180591620717411303424) (.f64 1/2 (.f64 x x)) (if (<=.f64 (.f64 x x) 8600000000000000291897250453451849201491182631676958459400862412510175216158113792) (.f64 1/2 (neg.f64 y)) (.f64 1/2 (*.f64 x x)))))
(if (<=.f64 (.f64 x x) 1819838454778243/95780971304118053647396689196894323976171195136475136) (.f64 1/2 (neg.f64 y)) (if (or (<=.f64 (.f64 x x) 7201608886376209/1180591620717411303424) (not (<=.f64 (.f64 x x) 8600000000000000291897250453451849201491182631676958459400862412510175216158113792))) (.f64 1/2 (.f64 x x)) (*.f64 1/2 (neg.f64 y))))
(if (or (<=.f64 (.f64 x x) 1819838454778243/95780971304118053647396689196894323976171195136475136) (not (or (<=.f64 (.f64 x x) 7201608886376209/1180591620717411303424) (not (<=.f64 (.f64 x x) 8600000000000000291897250453451849201491182631676958459400862412510175216158113792))))) (.f64 1/2 (neg.f64 y)) (.f64 1/2 (.f64 x x)))
(if (or (<=.f64 (.f64 x x) 1819838454778243/95780971304118053647396689196894323976171195136475136) (and (not (<=.f64 (.f64 x x) 7201608886376209/1180591620717411303424)) (<=.f64 (.f64 x x) 8600000000000000291897250453451849201491182631676958459400862412510175216158113792))) (.f64 1/2 (neg.f64 y)) (.f64 1/2 (.f64 x x)))
(*.f64 1/2 (neg.f64 y))

Compiler

Compiled 54 to 35 computations (35.2% saved)

soundness264.0ms (15.1%)

Rules

1408×	`pow1`
1348×	`div-sub`
1348×	`div-sub`
1308×	`add-exp-log`
1308×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	132	13
2	1799	13
0	101	965
1	249	915
2	892	915
3	4610	915
0	101	965
1	249	915
2	892	915
3	4610	915

Stop Event

1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 39 to 28 computations (28.2% saved)

end0.0ms (0%)

preprocess71.0ms (4.1%)

Remove: (abs x)
Compiler: Compiled 132 to 76 computations (42.4% saved)

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19

analyze0.0ms (0%)

sample690.0ms (39.4%)

preprocess57.0ms (3.3%)

simplify24.0ms (1.4%)

eval0.0ms (0%)

prune20.0ms (1.2%)

localize25.0ms (1.4%)

series1.0ms (0.1%)

rewrite55.0ms (3.2%)

simplify65.0ms (3.7%)

eval9.0ms (0.5%)

prune9.0ms (0.5%)

localize39.0ms (2.3%)

series1.0ms (0%)

rewrite124.0ms (7.1%)

simplify60.0ms (3.4%)

eval3.0ms (0.1%)

prune4.0ms (0.2%)

regimes21.0ms (1.2%)

regimes52.0ms (3%)

regimes112.0ms (6.4%)

regimes6.0ms (0.3%)

bsearch28.0ms (1.6%)

simplify9.0ms (0.5%)

soundness264.0ms (15.1%)

end0.0ms (0%)

preprocess71.0ms (4.1%)

Profiling

Iter	Nodes	Cost
0	8	19
1	14	19
2	25	19
3	49	19
4	84	19
5	116	19
6	207	19
7	345	19
8	558	19
9	725	19
10	824	19
11	840	19