Details

analyze845.0ms (18.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample102.0ms (2.3%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
3.0ms	80×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify188.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2262×	`fma-neg_binary64`
697×	`fma-def_binary64`
683×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
306×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	105	11
4	335	11
5	850	11
6	1678	11
7	1991	11
8	2282	11
9	2193	11
10	2201	11
11	2201	11
12	2202	11
13	2172	11
14	2172	11
15	4437	11
16	4437	11
17	4437	11
18	4378	11

prune3.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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

series126.0ms (2.8%)

Counts

1 → 48

Calls

1 calls:

125.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

simplify78.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
395×	`exp-diff_binary64`
356×	`unsub-neg_binary64`
333×	`exp-prod_binary64`
328×	`distribute-neg-out_binary64`

Counts

58 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	954
1	144	926
2	355	926
3	837	628
4	2944	628
5	4449	628
6	4978	628

prune24.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

38 → 3

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
▶	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
	1.4b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))) (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)))

Compiler

Compiled 527 to 142 computations (73.1% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 z x) x)
✓	0.0b	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

series31.0ms (0.7%)

Counts

3 → 75

Calls

3 calls:

17.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
10.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
5.0ms	(+.f64 (*.f64 z x) x)

rewrite26.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-log-exp_binary64`
14×	`*-un-lft-identity_binary64`
13×	`sum-log_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

3 → 73

Calls

3 calls:

11.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
7.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
3.0ms	(+.f64 (*.f64 z x) x)

simplify98.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

749×	`fma-neg_binary64`
395×	`cancel-sign-sub-inv_binary64`
223×	`distribute-rgt-neg-in_binary64`
198×	`associate-l_binary64`
186×	`distribute-lft-neg-in_binary64`

Counts

148 → 144

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	2608
1	572	2476
2	2466	2328
3	4477	2328
4	4931	2328

prune81.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	143	1	144
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	144	3	147

Error

Counts

147 → 3

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
▶	32.5b	(fma.f64 (sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x))) (sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x))) (neg.f64 (fma.f64 z t (*.f64 x y))))

Compiler

Compiled 4208 to 605 computations (85.6% saved)

localize45.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (*.f64 z x) x)
	0.0b	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
✓	0.1b	(sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)))
✓	0.2b	(fma.f64 (sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x))) (sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x))) (neg.f64 (fma.f64 z t (*.f64 x y))))

series1.4s (30.2%)

Counts

2 → 40

Calls

2 calls:

1.2s

(fma.f64 (sqrt.f64 (+.f64 (*.f64 y t) (+.f64 (*.f64 z x) x))) (sqrt.f64 (+.f64 (*.f64 y t) (+.f64 (*.f64 z x) x))) (neg.f64 (fma.f64 z t (*.f64 x y))))

160.0ms

(sqrt.f64 (+.f64 (*.f64 y t) (+.f64 (*.f64 z x) x)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-sqr-sqrt_binary64`
3×	`sqrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`
3×	`pow1_binary64`

Counts

2 → 27

Calls

2 calls:

5.0ms

(sqrt.f64 (+.f64 (*.f64 y t) (+.f64 (*.f64 z x) x)))

0.0ms

(fma.f64 (sqrt.f64 (+.f64 (*.f64 y t) (+.f64 (*.f64 z x) x))) (sqrt.f64 (+.f64 (*.f64 y t) (+.f64 (*.f64 z x) x))) (neg.f64 (fma.f64 z t (*.f64 x y))))

simplify95.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

432×	`cancel-sign-sub-inv_binary64`
339×	`associate-+l+_binary64`
259×	`associate--l+_binary64`
242×	`distribute-rgt-in_binary64`
220×	`distribute-lft-in_binary64`

Counts

67 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	1773
1	501	1698
2	1746	1628
3	4940	1628
4	4999	1628
5	4973	1628

prune141.0ms (3.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

260 → 3

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
✓	32.5b	(fma.f64 (sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x))) (sqrt.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x))) (neg.f64 (fma.f64 z t (*.f64 x y))))

Compiler

Compiled 9599 to 1788 computations (81.4% saved)

regimes395.0ms (8.7%)

Accuracy

Total 0.0b remaining (75%)

Threshold costs 0.0b (75%)

Counts

69 → 1

Compiler

Compiled 7400 to 4192 computations (43.4% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
2×	`*-commutative_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	12	11
2	20	11
3	24	11
4	26	11
5	26	11

end0.0ms (0%)

Compiler: Compiled 12 to 7 computations (41.7% saved)

sample844.0ms (18.7%)

Algorithm

1×

intervals

Results

323.0ms	8000×	body	128	valid
92.0ms	2598×	body	128	invalid

Compiler

Compiled 95 to 52 computations (45.3% saved)

Details

analyze845.0ms (18.7%)

sample102.0ms (2.3%)

simplify188.0ms (4.2%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series126.0ms (2.8%)

rewrite1.0ms (0%)

simplify78.0ms (1.7%)

prune24.0ms (0.5%)

localize14.0ms (0.3%)

series31.0ms (0.7%)

rewrite26.0ms (0.6%)

simplify98.0ms (2.2%)

prune81.0ms (1.8%)

localize45.0ms (1%)

series1.4s (30.2%)

rewrite6.0ms (0.1%)

simplify95.0ms (2.1%)

prune141.0ms (3.1%)

regimes395.0ms (8.7%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample844.0ms (18.7%)

Profiling