Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample970.0ms (59.7%)

Symmetry

(sort x y)

Results

890.0ms

8256×

body

128

valid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify32.0ms (2%)

Algorithm

1×	egg-herbie

Rules

192×	`fma-def_binary64`
125×	`fma-neg_binary64`
44×	`distribute-rgt-neg-in_binary64`
36×	`cancel-sign-sub-inv_binary64`
27×	`unsub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	15	10
2	28	10
3	38	10
4	70	10
5	109	10
6	193	10
7	311	10
8	363	10
9	420	10
10	424	10
11	426	10
12	381	10

prune7.0ms (0.4%)

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

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)

Compiler

Compiled 30 to 21 computations (30% saved)

localize10.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 3) y)

series10.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(*.f64 (*.f64 x 3) y)

rewrite8.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 20

Calls

1 calls:

7.0ms

(*.f64 (*.f64 x 3) y)

simplify101.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

865×	`fma-def_binary64`
454×	`associate-l_binary64`
380×	`*-commutative_binary64`
340×	`log-div_binary64`
308×	`associate-r_binary64`

Counts

44 → 30

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	45	380
1	100	344
2	341	344
3	909	344
4	1093	344
5	1300	344
6	1628	344
7	3095	344
8	4826	344
9	4980	344

prune26.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	3	31

Error

Counts

31 → 3

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)

Compiler

Compiled 404 to 246 computations (39.1% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 3 y))

series6.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

5.0ms

(*.f64 x (*.f64 3 y))

rewrite6.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

5.0ms

(*.f64 x (*.f64 3 y))

simplify71.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

523×	`associate-/r/_binary64`
451×	`associate-l_binary64`
394×	`associate-/l*_binary64`
375×	`*-commutative_binary64`
301×	`associate-r_binary64`

Counts

44 → 30

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	378
1	90	342
2	301	342
3	821	342
4	1019	342
5	1170	342
6	2090	342
7	4774	342
8	4904	342

prune16.0ms (1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	30	3	33

Error

Counts

33 → 3

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
▶	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)

Compiler

Compiled 394 to 238 computations (39.6% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 3 (.f64 y x))

series5.0ms (0.3%)

Counts

1 → 0

Calls

1 calls:

5.0ms

(*.f64 3 (*.f64 y x))

rewrite8.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

6.0ms

(*.f64 3 (*.f64 y x))

simplify102.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

614×	`fma-def_binary64`
590×	`distribute-rgt-in_binary64`
557×	`distribute-lft-in_binary64`
459×	`associate-/r/_binary64`
350×	`*-commutative_binary64`

Counts

20 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	210
1	84	174
2	254	174
3	647	174
4	828	174
5	986	174
6	1261	174
7	1807	174
8	4989	174
9	5038	174

prune24.0ms (1.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	20	3	23

Error

Counts

23 → 3

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
✓	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)

Compiler

Compiled 279 to 169 computations (39.4% saved)

regimes95.0ms (5.8%)

Accuracy

Total 0.1b remaining (89%)

Threshold costs 0.1b (89%)

Counts

5 → 1

Compiler

Compiled 528 to 372 computations (29.5% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	12	10
2	17	10
3	19	10
4	20	10
5	20	10

end110.0ms (6.8%)

Remove: (sort x y)
Compiler: Compiled 70 to 49 computations (30% saved)

Iter	Nodes	Cost
0	8	10
1	15	10
2	28	10
3	38	10
4	70	10
5	109	10
6	193	10
7	311	10
8	363	10
9	420	10
10	424	10
11	426	10
12	381	10

Iter	Nodes	Cost
0	8	10
1	15	10
2	28	10
3	38	10
4	70	10
5	109	10
6	193	10
7	311	10
8	363	10
9	420	10
10	424	10
11	426	10
12	381	10

Details

analyze3.0ms (0.2%)

sample970.0ms (59.7%)

simplify32.0ms (2%)

prune7.0ms (0.4%)

localize10.0ms (0.6%)

series10.0ms (0.6%)

rewrite8.0ms (0.5%)

simplify101.0ms (6.2%)

prune26.0ms (1.6%)

localize5.0ms (0.3%)

series6.0ms (0.3%)

rewrite6.0ms (0.4%)

simplify71.0ms (4.3%)

prune16.0ms (1%)

localize6.0ms (0.3%)

series5.0ms (0.3%)

rewrite8.0ms (0.5%)

simplify102.0ms (6.3%)

prune24.0ms (1.5%)

regimes95.0ms (5.8%)

simplify5.0ms (0.3%)

end110.0ms (6.8%)

Profiling

Iter	Nodes	Cost
0	8	10
1	15	10
2	28	10
3	38	10
4	70	10
5	109	10
6	193	10
7	311	10
8	363	10
9	420	10
10	424	10
11	426	10
12	381	10