Metrics for Diagrams.TwoD.Ellipse:ellipse from diagrams-lib-1.3.0.3

analyze2.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample650.0ms (38.3%)

Results

638.0ms	8256×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess163.0ms (9.6%)

Algorithm

1×	egg-herbie

Rules

1654×	`fma-def`
1194×	`sub-neg`
1138×	`distribute-lft-out`
868×	`associate-+r+`
716×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	28	34
2	46	34
3	91	34
4	134	34
5	216	34
6	342	34
7	620	34
8	1227	34
9	2094	34
10	4780	34
11	6467	34
12	7228	34
13	7526	34
14	7582	34
15	7614	34
16	7867	34

Stop Event

1×	node limit

Calls

Call 1

Inputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 (-.f64 1 (*.f64 (neg.f64 x) (neg.f64 x))))

Outputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 (fma.f64 x (neg.f64 x) 1))
(sqrt.f64 (-.f64 1 (*.f64 (neg.f64 x) (neg.f64 x))))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 (fma.f64 x (neg.f64 x) 1))

Symmetry

(abs x)

Compiler

Compiled 8 to 6 computations (25% saved)

simplify164.0ms (9.7%)

Algorithm

1×	egg-herbie

Rules

1468×	`fma-def`
1260×	`distribute-lft-out`
1098×	`unsub-neg`
944×	`distribute-rgt-out--`
798×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	15	17
2	22	17
3	34	17
4	51	17
5	79	17
6	126	17
7	348	17
8	734	17
9	1549	17
10	2918	17
11	4603	17
12	5570	17
13	5888	17
14	6174	17
15	6343	17
16	6420	17
17	6687	17
18	7685	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))

Outputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 (neg.f64 (fma.f64 x x -1)))

eval0.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Accurracy

100.0%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(sqrt.f64 (-.f64 1 (*.f64 x x)))
▶	100.0%	(sqrt.f64 (neg.f64 (fma.f64 x x -1)))
▶	100.0%	(sqrt.f64 (-.f64 1 (*.f64 x x)))
▶	100.0%	(sqrt.f64 (neg.f64 (fma.f64 x x -1)))

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize49.0ms (2.9%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 35 to 19 computations (45.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1208×	`pow1`
1126×	`add-exp-log`
1124×	`log1p-expm1-u`
1124×	`expm1-log1p-u`
1104×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	126	13
2	1569	13

Stop Event

1×	node limit

Counts

1 → 28

Calls

Call 1

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

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

simplify54.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1134×	`associate-/r*`
898×	`distribute-lft-in`
844×	`distribute-rgt-in`
808×	`div-sub`
670×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	78	790
1	192	710
2	659	710
3	3243	710

Stop Event

1×	node limit

Counts

40 → 36

Calls

Call 1

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

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

eval8.0ms (0.5%)

Compiler: Compiled 410 to 261 computations (36.3% saved)

prune6.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	35	3	38

Accurracy

100.0%

Counts

38 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sqrt.f64 (-.f64 1 (*.f64 x x)))
✓	100.0%	(sqrt.f64 (neg.f64 (fma.f64 x x -1)))
▶	98.7%	(sqrt.f64 1)
✓	100.0%	(sqrt.f64 (-.f64 1 (*.f64 x x)))
✓	100.0%	(sqrt.f64 (neg.f64 (fma.f64 x x -1)))
▶	98.7%	(sqrt.f64 1)

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize14.0ms (0.8%)

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

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Accurracy

100.0%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sqrt.f64 (-.f64 1 (*.f64 x x)))
✓	100.0%	(sqrt.f64 (neg.f64 (fma.f64 x x -1)))
✓	98.7%	(sqrt.f64 1)

Compiler

Compiled 32 to 24 computations (25% saved)

regimes10.0ms (0.6%)

Counts

3 → 1

Calls

Call 1

Inputs
(sqrt.f64 1)
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 (neg.f64 (fma.f64 x x -1)))

Outputs
(sqrt.f64 (neg.f64 (fma.f64 x x -1)))

Calls

4 calls:

2.0ms	x
2.0ms	(*.f64 x x)
2.0ms	(sqrt.f64 (-.f64 1 (*.f64 x x)))
2.0ms	(-.f64 1 (*.f64 x x))

Results

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

Compiler

Compiled 34 to 23 computations (32.4% saved)

regimes8.0ms (0.5%)

Counts

2 → 1

Calls

Call 1

Inputs
(sqrt.f64 1)
(sqrt.f64 (-.f64 1 (*.f64 x x)))

Outputs
(sqrt.f64 (-.f64 1 (*.f64 x x)))

Calls

4 calls:

2.0ms	x
2.0ms	(*.f64 x x)
2.0ms	(sqrt.f64 (-.f64 1 (*.f64 x x)))
2.0ms	(-.f64 1 (*.f64 x x))

Results

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

regimes3.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(sqrt.f64 1)

Outputs
(sqrt.f64 1)

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
98.7%	1	`x`

Compiler

Compiled 5 to 4 computations (20% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	23	35
2	31	35
3	36	35
4	38	35

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(sqrt.f64 (neg.f64 (fma.f64 x x -1)))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 1)

Outputs
(sqrt.f64 (neg.f64 (fma.f64 x x -1)))
(sqrt.f64 (-.f64 1 (*.f64 x x)))
(sqrt.f64 1)
1

Compiler

Compiled 16 to 12 computations (25% saved)

soundness410.0ms (24.2%)

Rules

1468×	`fma-def`
1260×	`distribute-lft-out`
1098×	`unsub-neg`
944×	`distribute-rgt-out--`
798×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	15	17
2	22	17
3	34	17
4	51	17
5	79	17
6	126	17
7	348	17
8	734	17
9	1549	17
10	2918	17
11	4603	17
12	5570	17
13	5888	17
14	6174	17
15	6343	17
16	6420	17
17	6687	17
18	7685	17

Stop Event

1×	node limit

Compiler

Compiled 57 to 35 computations (38.6% saved)

end0.0ms (0%)

preprocess93.0ms (5.5%)

Remove: (abs x)
Compiler: Compiled 56 to 40 computations (28.6% saved)

analyze2.0ms (0.1%)

sample650.0ms (38.3%)

preprocess163.0ms (9.6%)

simplify164.0ms (9.7%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize49.0ms (2.9%)

series1.0ms (0%)

rewrite51.0ms (3%)

simplify54.0ms (3.2%)

eval8.0ms (0.5%)

prune6.0ms (0.4%)

localize14.0ms (0.8%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes10.0ms (0.6%)

regimes8.0ms (0.5%)

regimes3.0ms (0.2%)

simplify5.0ms (0.3%)

soundness410.0ms (24.2%)

end0.0ms (0%)

preprocess93.0ms (5.5%)

Profiling