Details

analyze189.0ms (5.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.4%	13
66.6%	0%	33.4%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample25.0ms (0.8%)

Algorithm

1×

intervals

Results

14.0ms

256×

body

128

valid

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify190.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1514×	`fma-def_binary64`
1229×	`fma-neg_binary64`
587×	`distribute-rgt-neg-in_binary64`
552×	`cancel-sign-sub-inv_binary64`
522×	`sqr-pow_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	42	11
3	96	11
4	169	11
5	224	11
6	343	11
7	549	11
8	728	11
9	1208	11
10	1666	11
11	2306	11
12	2905	11
13	3028	11
14	3233	11
15	3418	11
16	4282	11
17	3230	11
18	3595	11
19	4713	11
20	4755	11

prune5.0ms (0.2%)

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.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x x) (fma.f64 x -2 3))

Compiler

Compiled 36 to 23 computations (36.1% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x x) (fma.f64 x -2 3))

series6.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x x) (fma.f64 x -2 3))

rewrite13.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`add-sqr-sqrt_binary64`

Counts

1 → 23

Calls

1 calls:

11.0ms

(*.f64 (*.f64 x x) (fma.f64 x -2 3))

simplify75.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1057×	`fma-def_binary64`
450×	`associate-l_binary64`
439×	`times-frac_binary64`
381×	`exp-prod_binary64`
334×	`associate-r_binary64`

Counts

35 → 37

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	539
1	122	424
2	381	424
3	1373	424
4	2370	424
5	3834	424
6	5293	424

prune69.0ms (2.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	31	6	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	6	38

Error

0.0b

Counts

38 → 6

Alt Table

Status	Error	Program
	27.2b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x (fma.f64 x -2 3))) 3))
	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))
▶	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	0.6b	(.f64 (.f64 (.f64 x x) (.f64 (cbrt.f64 (fma.f64 x -2 3)) (cbrt.f64 (fma.f64 x -2 3)))) (cbrt.f64 (fma.f64 x -2 3)))
	8.7b	(.f64 (.f64 x (sqrt.f64 (fma.f64 x -2 3))) (*.f64 x (sqrt.f64 (fma.f64 x -2 3))))
	8.6b	(.f64 (sqrt.f64 (.f64 x (.f64 x (fma.f64 x -2 3)))) (sqrt.f64 (.f64 x (*.f64 x (fma.f64 x -2 3)))))

Compiler

Compiled 672 to 445 computations (33.8% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 2 (pow.f64 x 3))
✓	0.0b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
✓	0.2b	(*.f64 3 (pow.f64 x 2))

series23.0ms (0.7%)

Counts

3 → 3

Calls

3 calls:

10.0ms	(*.f64 3 (pow.f64 x 2))
8.0ms	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
5.0ms	(*.f64 2 (pow.f64 x 3))

rewrite33.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
20×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

3 → 78

Calls

3 calls:

9.0ms	(*.f64 3 (pow.f64 x 2))
9.0ms	(*.f64 2 (pow.f64 x 3))
7.0ms	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))

simplify153.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

796×	`fma-def_binary64`
465×	`fma-neg_binary64`
389×	`exp-prod_binary64`
316×	`distribute-rgt-neg-in_binary64`
308×	`distribute-lft-neg-in_binary64`

Counts

81 → 114

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	131	1015
1	258	861
2	724	817
3	1848	788
4	3852	780
5	4761	780
6	4994	780
7	4715	780

prune200.0ms (6.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	114	6	120

Error

Counts

120 → 6

Alt Table

Status	Error	Program
	27.2b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x (fma.f64 x -2 3))) 3))
▶	0.1b	(-.f64 (.f64 (.f64 3 x) x) (*.f64 2 (pow.f64 x 3)))
	32.5b	(-.f64 (.f64 (.f64 3 x) (pow.f64 (sqrt.f64 x) 2)) (*.f64 2 (pow.f64 x 3)))
	0.2b	(-.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (pow.f64 x 2))) (.f64 2 (pow.f64 x 3)))
✓	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	8.6b	(.f64 (sqrt.f64 (.f64 x (.f64 x (fma.f64 x -2 3)))) (sqrt.f64 (.f64 x (*.f64 x (fma.f64 x -2 3)))))

Compiler

Compiled 2057 to 1623 computations (21.1% saved)

localize12.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(*.f64 2 (pow.f64 x 3))
✓	0.0b	(-.f64 (.f64 (.f64 3 x) x) (*.f64 2 (pow.f64 x 3)))
✓	0.2b	(.f64 (.f64 3 x) x)

series14.0ms (0.4%)

Counts

2 → 24

Calls

2 calls:

8.0ms	(-.f64 (.f64 (.f64 3 x) x) (*.f64 2 (pow.f64 x 3)))
6.0ms	(.f64 (.f64 3 x) x)

rewrite19.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r_binary64`

Counts

2 → 36

Calls

2 calls:

8.0ms	(-.f64 (.f64 (.f64 3 x) x) (*.f64 2 (pow.f64 x 3)))
8.0ms	(.f64 (.f64 3 x) x)

simplify119.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

868×	`fma-def_binary64`
739×	`fma-neg_binary64`
354×	`times-frac_binary64`
295×	`*-commutative_binary64`
202×	`cancel-sign-sub-inv_binary64`

Counts

60 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	768
1	184	703
2	670	662
3	1542	613
4	3718	613
5	4938	613
6	5064	613

prune177.0ms (5.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	100	6	106

Error

Counts

106 → 6

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (pow.f64 x 2))) (.f64 2 (pow.f64 x 3)))
	32.4b	(-.f64 (.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x)) (*.f64 2 (pow.f64 x 3)))
	27.2b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x (fma.f64 x -2 3))) 3))
✓	0.1b	(-.f64 (.f64 (.f64 3 x) x) (*.f64 2 (pow.f64 x 3)))
✓	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	8.6b	(.f64 (sqrt.f64 (.f64 x (.f64 x (fma.f64 x -2 3)))) (sqrt.f64 (.f64 x (*.f64 x (fma.f64 x -2 3)))))

Compiler

Compiled 1792 to 1307 computations (27.1% saved)

localize18.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(*.f64 2 (pow.f64 x 3))
✓	0.0b	(-.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (pow.f64 x 2))) (.f64 2 (pow.f64 x 3)))
✓	0.2b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (pow.f64 x 2)))
✓	0.3b	(*.f64 (cbrt.f64 3) (pow.f64 x 2))

series56.0ms (1.8%)

Counts

3 → 24

Calls

3 calls:

25.0ms

(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (pow.f64 x 2)))

20.0ms

(-.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (pow.f64 x 2))) (*.f64 2 (pow.f64 x 3)))

10.0ms

(*.f64 (cbrt.f64 3) (pow.f64 x 2))

rewrite49.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-exp-log_binary64`
21×	`prod-exp_binary64`
19×	`add-sqr-sqrt_binary64`
10×	`add-cbrt-cube_binary64`
9×	`associate-r_binary64`

Counts

3 → 78

Calls

3 calls:

15.0ms

(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (pow.f64 x 2)))

14.0ms

(-.f64 (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (cbrt.f64 3) (pow.f64 x 2))) (*.f64 2 (pow.f64 x 3)))

12.0ms

(*.f64 (cbrt.f64 3) (pow.f64 x 2))

simplify182.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

564×	`fma-neg_binary64`
325×	`*-commutative_binary64`
292×	`fma-def_binary64`
257×	`cancel-sign-sub-inv_binary64`
238×	`exp-prod_binary64`

Counts

102 → 121

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	1373
1	257	1152
2	881	1113
3	2048	1112
4	4454	1112
5	4965	1112
6	4848	1112

prune338.0ms (10.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	160	6	166

Error

Counts

166 → 6

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (cbrt.f64 3) (pow.f64 x 2))) (.f64 2 (pow.f64 x 3)))
	32.4b	(-.f64 (.f64 (.f64 3 (pow.f64 x 3/2)) (sqrt.f64 x)) (*.f64 2 (pow.f64 x 3)))
	27.2b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x (fma.f64 x -2 3))) 3))
✓	0.1b	(-.f64 (.f64 (.f64 3 x) x) (*.f64 2 (pow.f64 x 3)))
✓	0.1b	(-.f64 (.f64 3 (pow.f64 x 2)) (.f64 2 (pow.f64 x 3)))
	8.6b	(.f64 (sqrt.f64 (.f64 x (.f64 x (fma.f64 x -2 3)))) (sqrt.f64 (.f64 x (*.f64 x (fma.f64 x -2 3)))))

Compiler

Compiled 3826 to 3257 computations (14.9% saved)

regimes128.0ms (4%)

Accuracy

Total 0.1b remaining (88.2%)

Threshold costs 0.1b (88.2%)

Counts

35 → 1

Compiler

Compiled 938 to 704 computations (24.9% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	10	14
2	10	14

end1.0ms (0%)

Compiler: Compiled 11 to 9 computations (18.2% saved)

sample1.1s (33.6%)

Algorithm

1×

intervals

Results

506.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 113 to 89 computations (21.2% saved)

Details

analyze189.0ms (5.9%)

sample25.0ms (0.8%)

simplify190.0ms (5.9%)

prune5.0ms (0.2%)

localize9.0ms (0.3%)

series6.0ms (0.2%)

rewrite13.0ms (0.4%)

simplify75.0ms (2.4%)

prune69.0ms (2.2%)

localize11.0ms (0.4%)

series23.0ms (0.7%)

rewrite33.0ms (1%)

simplify153.0ms (4.8%)

prune200.0ms (6.3%)

localize12.0ms (0.4%)

series14.0ms (0.4%)

rewrite19.0ms (0.6%)

simplify119.0ms (3.7%)

prune177.0ms (5.6%)

localize18.0ms (0.6%)

series56.0ms (1.8%)

rewrite49.0ms (1.5%)

simplify182.0ms (5.7%)

prune338.0ms (10.6%)

regimes128.0ms (4%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.1s (33.6%)

Profiling