Metrics for sqrt D (should all be same)

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample1.3s (58.2%)

Results

1.3s	8255×	body	256	valid
0.0ms	1×	body	256	infinite

Bogosity

preprocess110.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1792×	`fma-def`
1318×	`fma-neg`
1110×	`distribute-lft-neg-in`
808×	`distribute-rgt-neg-in`
638×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	26	34
2	53	34
3	193	34
4	830	34
5	1875	34
6	3861	34
7	5203	34
8	6430	34
9	7545	34

Stop Event

1×	node limit

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (*.f64 2 (pow.f64 (neg.f64 x) 2)))

Outputs
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (.f64 2 (.f64 x x)))
(sqrt.f64 (.f64 x (.f64 x -2)))
(sqrt.f64 (*.f64 2 (pow.f64 (neg.f64 x) 2)))
(sqrt.f64 (.f64 2 (.f64 x x)))
(sqrt.f64 (.f64 x (.f64 x -2)))

Symmetry

(abs x)

Compiler

Compiled 8 to 7 computations (12.5% saved)

simplify204.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

2734×	`sqr-pow`
1306×	`cube-prod`
1044×	`pow-sqr`
884×	`associate-r`
868×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	14	17
2	25	17
3	46	17
4	106	17
5	329	17
6	1230	17
7	2094	17
8	2234	17
9	2402	17
10	2599	17
11	2878	17
12	3246	17
13	3692	17
14	4220	17
15	4862	17
16	5641	17
17	5967	17
18	6241	17
19	6447	17
20	6507	17
21	6537	17
22	7472	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

Outputs
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (.f64 2 (.f64 x x)))

eval1.0ms (0%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Accurracy

58.0%

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	58.0%	(sqrt.f64 (.f64 2 (.f64 x x)))
▶	58.0%	(sqrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize23.0ms (1.1%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 2 (.f64 x x))
✓	58.0%	(sqrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 18 to 9 computations (50% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite54.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1354×	`pow1`
1244×	`add-exp-log`
1244×	`log1p-expm1-u`
1244×	`expm1-log1p-u`
1214×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	160	24
2	1810	24

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(sqrt.f64 (.f64 2 (.f64 x x)))
(.f64 2 (.f64 x x))

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

simplify70.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1200×	`log-prod`
1148×	`fma-def`
1056×	`distribute-rgt-in`
1030×	`distribute-lft-in`
700×	`fma-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	816
1	193	816
2	739	816
3	2412	688
4	7441	688

Stop Event

1×	node limit

Counts

60 → 48

Calls

Call 1

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

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

eval10.0ms (0.5%)

Compiler: Compiled 375 to 272 computations (27.5% saved)

prune6.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	47	1	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	1	49

Accurracy

100.0%

Counts

49 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)
▶	100.0%	(hypot.f64 x x)

Compiler

Compiled 8 to 4 computations (50% saved)

localize15.0ms (0.7%)

Compiler: Compiled 6 to 3 computations (50% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Accurracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)

Compiler

Compiled 20 to 13 computations (35% saved)

regimes14.0ms (0.6%)

Accuracy

Total -26.9b remaining (-∞%)

Threshold costs -26.9b (-∞%)

Counts

3 → 1

Calls

Call 1

Inputs
(hypot.f64 x x)
(sqrt.f64 (.f64 2 (.f64 x x)))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

Outputs
(hypot.f64 x x)

Calls

4 calls:

5.0ms	(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
3.0ms	x
3.0ms	(*.f64 2 (pow.f64 x 2))
3.0ms	(pow.f64 x 2)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(sqrt.f64 (*.f64 2 (pow.f64 x 2)))`
100.0%	1	`(*.f64 2 (pow.f64 x 2))`
100.0%	1	`(pow.f64 x 2)`

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(hypot.f64 x x)

Outputs
(hypot.f64 x x)

Compiler

Compiled 4 to 2 computations (50% saved)

soundness349.0ms (16%)

Rules

2734×	`sqr-pow`
1306×	`cube-prod`
1200×	`log-prod`
1148×	`fma-def`
1056×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	14	17
2	25	17
3	46	17
4	106	17
5	329	17
6	1230	17
7	2094	17
8	2234	17
9	2402	17
10	2599	17
11	2878	17
12	3246	17
13	3692	17
14	4220	17
15	4862	17
16	5641	17
17	5967	17
18	6241	17
19	6447	17
20	6507	17
21	6537	17
22	7472	17
0	83	816
1	193	816
2	739	816
3	2412	688
4	7441	688

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 93 to 65 computations (30.1% saved)

end0.0ms (0%)

preprocess51.0ms (2.3%)

Remove: (abs x)
Compiler: Compiled 30 to 20 computations (33.3% saved)

analyze0.0ms (0%)

sample1.3s (58.2%)

preprocess110.0ms (5%)

simplify204.0ms (9.3%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize23.0ms (1.1%)

series2.0ms (0.1%)

rewrite54.0ms (2.5%)

simplify70.0ms (3.2%)

eval10.0ms (0.5%)

prune6.0ms (0.3%)

localize15.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes14.0ms (0.6%)

simplify4.0ms (0.2%)

soundness349.0ms (16%)

end0.0ms (0%)

preprocess51.0ms (2.3%)

Profiling