Details

analyze2.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample783.0ms (36.6%)

Symmetry

(sort x y)

Results

736.0ms

8256×

body

128

valid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify9.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

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

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x y) 10)

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) 10)

series4.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

4.0ms

(/.f64 (+.f64 x y) 10)

rewrite40.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

701×	`log1p-expm1-u_binary64`
701×	`expm1-log1p-u_binary64`
464×	`prod-diff_binary64`
70×	`add-sqr-sqrt_binary64`
66×	`add-log-exp_binary64`

Counts

1 → 26

Calls

1 calls:

39.0ms

(/.f64 (+.f64 x y) 10)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	138	7
2	1765	7
3	5101	7
0	0	0
1	0	0

simplify9.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
3×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`distribute-lft-out_binary64`
1×	`distribute-rgt-out_binary64`

Counts

50 → 30

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	150
1	13	150
2	18	150
3	18	150

prune17.0ms (0.8%)

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

0.0b

Counts

31 → 3

Alt Table

Status	Error	Program
▶	0.4b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
✓	0.0b	(/.f64 (+.f64 x y) 10)
	35.2b	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)

Compiler

Compiled 283 to 173 computations (38.9% saved)

localize4.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
✓	0.4b	(*.f64 1/10 x)
✓	0.4b	(*.f64 1/10 y)

series7.0ms (0.3%)

Counts

3 → 6

Calls

3 calls:

4.0ms	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
2.0ms	(*.f64 1/10 y)
1.0ms	(*.f64 1/10 x)

rewrite47.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

755×	`log1p-expm1-u_binary64`
755×	`expm1-log1p-u_binary64`
139×	`expm1-udef_binary64`
139×	`log1p-udef_binary64`
77×	`add-sqr-sqrt_binary64`

Counts

3 → 69

Calls

3 calls:

45.0ms	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
45.0ms	(*.f64 1/10 x)
45.0ms	(*.f64 1/10 y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	153	15
2	1917	15
3	4980	15
0	0	0
1	0	0

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Counts

75 → 69

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	24
1	8	24
2	8	24

prune47.0ms (2.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	68	4	72

Error

Counts

72 → 4

Alt Table

Status	Error	Program
▶	0.9b	(+.f64 (.f64 1/10 y) (pow.f64 (cbrt.f64 (.f64 1/10 x)) 3))
✓	0.4b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
✓	0.0b	(/.f64 (+.f64 x y) 10)
	35.2b	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)

Compiler

Compiled 857 to 596 computations (30.5% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(*.f64 1/10 x)
	0.4b	(*.f64 1/10 y)
✓	0.6b	(cbrt.f64 (*.f64 1/10 x))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 1/10 x)) 3)

series237.0ms (11.1%)

Counts

2 → 24

Calls

2 calls:

167.0ms	(cbrt.f64 (*.f64 1/10 x))
70.0ms	(pow.f64 (cbrt.f64 (*.f64 1/10 x)) 3)

rewrite89.0ms (4.2%)

Algorithm

2×	batch-egg-rewrite

Rules

928×	`log1p-udef_binary64`
496×	`log1p-expm1-u_binary64`
496×	`expm1-log1p-u_binary64`
440×	`unpow-prod-down_binary64`
247×	`log-prod_binary64`

Counts

2 → 105

Calls

2 calls:

87.0ms	(cbrt.f64 (*.f64 1/10 x))
87.0ms	(pow.f64 (cbrt.f64 (*.f64 1/10 x)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	129	10
2	1316	10
3	4945	10
4	6403	10
0	0	0
1	0	0

simplify131.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

1252×	`sqr-pow_binary64`
710×	`cube-prod_binary64`
698×	`pow-sqr_binary64`
694×	`fabs-mul_binary64`
416×	`unswap-sqr_binary64`

Counts

129 → 108

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	152
1	28	152
2	45	152
3	77	152
4	161	152
5	409	152
6	548	152
7	911	152
8	932	152
9	1091	152
10	1281	152
11	1546	152
12	1829	152
13	2247	152
14	2719	152
15	3382	152
16	3670	152
17	3966	152
18	4176	152
19	4264	152
20	4364	152
21	5372	152

prune76.0ms (3.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	134	4	138

Error

Counts

138 → 4

Alt Table

Status	Error	Program
✓	0.9b	(+.f64 (.f64 1/10 y) (pow.f64 (cbrt.f64 (.f64 1/10 x)) 3))
✓	0.4b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
✓	0.0b	(/.f64 (+.f64 x y) 10)
▶	35.2b	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)

Compiler

Compiled 2098 to 1682 computations (19.8% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (+.f64 x y) 10)
✓	0.0b	(sqrt.f64 (/.f64 (+.f64 x y) 10))
✓	0.2b	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)

series119.0ms (5.6%)

Counts

2 → 16

Calls

2 calls:

95.0ms	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)
25.0ms	(sqrt.f64 (/.f64 (+.f64 x y) 10))

rewrite59.0ms (2.8%)

Algorithm

2×	batch-egg-rewrite

Rules

849×	`log1p-expm1-u_binary64`
849×	`expm1-log1p-u_binary64`
464×	`prod-diff_binary64`
87×	`add-sqr-sqrt_binary64`
84×	`add-log-exp_binary64`

Counts

2 → 70

Calls

2 calls:

58.0ms	(sqrt.f64 (/.f64 (+.f64 x y) 10))
58.0ms	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	185	16
2	2163	16
3	5952	16
0	0	0
1	0	0

simplify64.0ms (3%)

Algorithm

1×	egg-herbie

Rules

474×	`cancel-sign-sub-inv_binary64`
471×	`distribute-rgt-neg-in_binary64`
440×	`unswap-sqr_binary64`
316×	`fma-neg_binary64`
298×	`associate-r_binary64`

Counts

86 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	402
1	181	358
2	484	334
3	1756	306
4	3571	306
5	4898	306
6	5000	306

prune173.0ms (8.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	120	4	124

Error

Counts

124 → 4

Alt Table

Status	Error	Program
✓	0.9b	(+.f64 (.f64 1/10 y) (pow.f64 (cbrt.f64 (.f64 1/10 x)) 3))
✓	0.4b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
✓	0.0b	(/.f64 (+.f64 x y) 10)
✓	35.2b	(pow.f64 (sqrt.f64 (/.f64 (+.f64 x y) 10)) 2)

Compiler

Compiled 1576 to 1064 computations (32.5% saved)

regimes132.0ms (6.2%)

Accuracy

Total 0.0b remaining (69.7%)

Threshold costs 0.0b (69.7%)

Counts

18 → 1

Compiler

Compiled 668 to 496 computations (25.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

end60.0ms (2.8%)

Remove: (sort x y)
Compiler: Compiled 66 to 50 computations (24.2% saved)

Details

analyze2.0ms (0.1%)

sample783.0ms (36.6%)

simplify9.0ms (0.4%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

series4.0ms (0.2%)

rewrite40.0ms (1.9%)

simplify9.0ms (0.4%)

prune17.0ms (0.8%)

localize4.0ms (0.2%)

series7.0ms (0.3%)

rewrite47.0ms (2.2%)

simplify7.0ms (0.3%)

prune47.0ms (2.2%)

localize7.0ms (0.3%)

series237.0ms (11.1%)

rewrite89.0ms (4.2%)

simplify131.0ms (6.1%)

prune76.0ms (3.6%)

localize6.0ms (0.3%)

series119.0ms (5.6%)

rewrite59.0ms (2.8%)

simplify64.0ms (3%)

prune173.0ms (8.1%)

regimes132.0ms (6.2%)

simplify2.0ms (0.1%)

end60.0ms (2.8%)

Profiling