Details

analyze1.2s (30%)

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)

sample98.0ms (2.4%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
3.0ms	86×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify183.0ms (4.5%)

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)

localize5.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)

series14.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

13.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)

simplify75.0ms (1.8%)

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.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

38 → 2

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)))

Compiler

Compiled 461 to 122 computations (73.5% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series40.0ms (1%)

Counts

4 → 87

Calls

4 calls:

16.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
11.0ms	(+.f64 (.f64 y x) (.f64 t z))
9.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
4.0ms	(+.f64 (*.f64 z x) x)

rewrite27.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-log-exp_binary64`
15×	`*-un-lft-identity_binary64`
14×	`sum-log_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`

Counts

4 → 87

Calls

4 calls:

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

simplify104.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-neg_binary64`
411×	`cancel-sign-sub-inv_binary64`
239×	`distribute-rgt-neg-in_binary64`
204×	`associate-l_binary64`
202×	`distribute-lft-neg-in_binary64`

Counts

174 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	179	2841
1	581	2709
2	2510	2561
3	4444	2561
4	4931	2561

prune112.0ms (2.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	170	3	173

Error

0.0b

Counts

173 → 3

Alt Table

Status	Error	Program
▶	0.5b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
✓	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)))

Compiler

Compiled 4845 to 681 computations (85.9% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
✓	0.5b	(.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
✓	1.3b	(cbrt.f64 (fma.f64 z t (*.f64 x y)))

series227.0ms (5.6%)

Counts

4 → 192

Calls

4 calls:

120.0ms	(.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
78.0ms	(cbrt.f64 (fma.f64 z t (*.f64 x y)))
18.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
10.0ms	(.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y))))

rewrite37.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`pow1_binary64`
27×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`

Counts

4 → 116

Calls

4 calls:

9.0ms	(cbrt.f64 (fma.f64 z t (*.f64 x y)))
8.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
6.0ms	(.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
4.0ms	(.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (*.f64 x y))))

simplify172.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

874×	`times-frac_binary64`
560×	`associate-/l*_binary64`
268×	`fma-def_binary64`
226×	`*-commutative_binary64`
215×	`cancel-sign-sub-inv_binary64`

Counts

308 → 355

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	619	10279
1	2096	9592
2	5323	9592

prune485.0ms (11.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

556 → 3

Alt Table

Status	Error	Program
✓	0.5b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (.f64 (.f64 (cbrt.f64 (fma.f64 z t (.f64 x y))) (cbrt.f64 (fma.f64 z t (.f64 x y)))) (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
✓	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)))

Compiler

Compiled 30978 to 10477 computations (66.2% saved)

regimes395.0ms (9.7%)

Accuracy

Total 0.0b remaining (66.3%)

Threshold costs 0.0b (66.3%)

Counts

69 → 1

Compiler

Compiled 8012 to 4288 computations (46.5% saved)

simplify2.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)

sample819.0ms (20.1%)

Algorithm

1×

intervals

Results

303.0ms	8000×	body	128	valid
87.0ms	2409×	body	128	invalid

Compiler

Compiled 100 to 53 computations (47% saved)

Details

analyze1.2s (30%)

sample98.0ms (2.4%)

simplify183.0ms (4.5%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series14.0ms (0.3%)

rewrite1.0ms (0%)

simplify75.0ms (1.8%)

prune24.0ms (0.6%)

localize10.0ms (0.3%)

series40.0ms (1%)

rewrite27.0ms (0.7%)

simplify104.0ms (2.6%)

prune112.0ms (2.8%)

localize13.0ms (0.3%)

series227.0ms (5.6%)

rewrite37.0ms (0.9%)

simplify172.0ms (4.2%)

prune485.0ms (11.9%)

regimes395.0ms (9.7%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample819.0ms (20.1%)

Profiling