Details

analyze252.0ms (7.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	56.2%	18.9%	7
25%	56.2%	18.9%	8
25%	53%	22%	9
37.4%	29.6%	32.9%	10
37.4%	29.6%	32.9%	11
37.4%	27.3%	35.3%	12
43.7%	15.2%	41.1%	13
43.7%	15.2%	41.1%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (35.1%)

Infinites

20.7% of outputs are infinite.

Results

736.0ms	8256×	body	128	valid
137.0ms	1587×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify202.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

767×	`unsub-neg_binary64`
741×	`*-commutative_binary64`
699×	`fma-def_binary64`
598×	`fma-neg_binary64`
465×	`distribute-neg-out_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	19	15
2	29	15
3	57	15
4	118	15
5	278	15
6	529	15
7	1007	15
8	1781	15
9	2585	15
10	2834	15
11	3141	15
12	3371	15
13	3485	15
14	3485	15
15	4444	15
16	4284	15
17	4604	15
18	4604	15
19	5103	15

prune2.0ms (0.1%)

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

Error

19.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	19.2b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
✓	3.8b	(-.f64 (.f64 y y) (.f64 z z))
✓	28.8b	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

series63.0ms (1.9%)

Counts

3 → 84

Calls

3 calls:

42.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
15.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))
6.0ms	(-.f64 (.f64 y y) (.f64 z z))

rewrite14.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

3 → 62

Calls

3 calls:

5.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
3.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))
3.0ms	(-.f64 (.f64 y y) (.f64 z z))

simplify108.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
337×	`fma-neg_binary64`
316×	`cancel-sign-sub-inv_binary64`
268×	`neg-mul-1_binary64`
187×	`distribute-rgt-neg-in_binary64`

Counts

146 → 179

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	2931
1	582	2842
2	2289	2771
3	4556	2771
4	5028	2771

prune114.0ms (3.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	177	3	180

Error

0.2b

Counts

180 → 3

Alt Table

Status	Error	Program
▶	19.4b	(.f64 x (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z))))))
	29.1b	(*.f64 x (neg.f64 y))
	30.7b	(*.f64 x y)

Compiler

Compiled 3639 to 1615 computations (55.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z))))))
✓	0.5b	(.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z)))))
	3.8b	(-.f64 (.f64 y y) (.f64 z z))
	28.8b	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

series68.0ms (2.1%)

Counts

2 → 60

Calls

2 calls:

44.0ms

(*.f64 x (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))))

23.0ms

(*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))))

rewrite50.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`sqrt-prod_binary64`
62×	`add-sqr-sqrt_binary64`
48×	`sqrt-div_binary64`
32×	`sqrt-pow1_binary64`
30×	`pow1_binary64`

Counts

2 → 125

Calls

2 calls:

17.0ms

(*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))))

14.0ms

(*.f64 x (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))))

simplify141.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

587×	`fma-def_binary64`
298×	`cancel-sign-sub-inv_binary64`
283×	`fma-neg_binary64`
263×	`neg-mul-1_binary64`
213×	`associate-r_binary64`

Counts

185 → 225

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	258	4264
1	661	4017
2	2386	3821
3	4624	3804
4	5064	3804

prune230.0ms (7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.2b

Counts

422 → 3

Alt Table

Status	Error	Program
✓	19.4b	(.f64 x (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z))))))
▶	29.1b	(*.f64 x (neg.f64 y))
	30.7b	(*.f64 x y)

Compiler

Compiled 12021 to 3870 computations (67.8% saved)

localize3.0ms (0.1%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

0.2b

Counts

3 → 3

Alt Table

Status	Error	Program
✓	19.4b	(.f64 x (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z))))))
✓	29.1b	(*.f64 x (neg.f64 y))
▶	30.7b	(*.f64 x y)

Compiler

Compiled 43 to 23 computations (46.5% saved)

localize2.0ms (0.1%)

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

Error

0.2b

Counts

3 → 3

Alt Table

Status	Error	Program
✓	19.4b	(.f64 x (.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 y y) (.f64 z z))))))
✓	29.1b	(*.f64 x (neg.f64 y))
✓	30.7b	(*.f64 x y)

Compiler

Compiled 37 to 19 computations (48.6% saved)

regimes804.0ms (24.4%)

Accuracy

Total 0.5b remaining (68.1%)

Threshold costs 0.5b (68.1%)

Counts

54 → 2

Compiler

Compiled 8693 to 5846 computations (32.8% saved)

bsearch12.0ms (0.4%)

Steps

Iters	Range		Point
1	-1.991340063052987e-248	5.161710063212607e-267	-1.991340063052987e-248

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	17	16
2	24	16
3	29	16
4	32	16
5	33	16
6	33	16

end55.0ms (1.7%)

Compiler: Compiled 65 to 37 computations (43.1% saved)

Details

analyze252.0ms (7.6%)

sample1.2s (35.1%)

simplify202.0ms (6.1%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

series63.0ms (1.9%)

rewrite14.0ms (0.4%)

simplify108.0ms (3.3%)

prune114.0ms (3.4%)

localize9.0ms (0.3%)

series68.0ms (2.1%)

rewrite50.0ms (1.5%)

simplify141.0ms (4.3%)

prune230.0ms (7%)

localize3.0ms (0.1%)

prune2.0ms (0.1%)

localize2.0ms (0.1%)

prune2.0ms (0.1%)

regimes804.0ms (24.4%)

bsearch12.0ms (0.4%)

simplify4.0ms (0.1%)

end55.0ms (1.7%)

Profiling