Details

analyze137.0ms (6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.2s (52.8%)

Results

1.1s	8256×	body	128	valid
29.0ms	206×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify11.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64`
1×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	11	7
3	11	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.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series12.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

12.0ms

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

rewrite72.0ms (3.2%)

Algorithm

2×	batch-egg-rewrite

Rules

637×	`log1p-expm1-u_binary64`
637×	`expm1-log1p-u_binary64`
335×	`log-prod_binary64`
116×	`expm1-udef_binary64`
116×	`log1p-udef_binary64`

Counts

1 → 43

Calls

1 calls:

70.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	127	7
2	1638	7
3	5124	7
0	0	0
1	0	0

simplify20.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Counts

67 → 43

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	12	168
3	16	168
4	17	168
5	17	168

prune48.0ms (2.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	5	44

Error

Counts

44 → 5

Alt Table

Status	Error	Program
	0.3b	(*.f64 x (/.f64 1/3 y))
	0.4b	(pow.f64 (/.f64 (*.f64 y 3) x) -1)
	29.7b	(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))
▶	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
✓	0.2b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 506 to 314 computations (37.9% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))

series12.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

12.0ms

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

rewrite81.0ms (3.6%)

Algorithm

2×	batch-egg-rewrite

Rules

774×	`log1p-expm1-u_binary64`
774×	`expm1-log1p-u_binary64`
142×	`log1p-udef_binary64`
82×	`add-sqr-sqrt_binary64`
76×	`add-cbrt-cube_binary64`

Counts

1 → 48

Calls

1 calls:

80.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	171	7
2	2031	7
3	4984	7
0	0	0
1	0	0

simplify23.0ms (1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Counts

72 → 49

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	12	168
3	16	168
4	17	168
5	17	168

prune56.0ms (2.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	49	5	54

Error

Counts

54 → 5

Alt Table

Status	Error	Program
▶	0.2b	(/.f64 (/.f64 x y) 3)
	0.3b	(*.f64 x (/.f64 1/3 y))
	0.4b	(/.f64 1 (*.f64 y (/.f64 3 x)))
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
✓	0.2b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 453 to 308 computations (32% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series14.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

13.0ms

(/.f64 (/.f64 x y) 3)

rewrite99.0ms (4.4%)

Algorithm

2×	batch-egg-rewrite

Rules

670×	`log1p-expm1-u_binary64`
670×	`expm1-log1p-u_binary64`
166×	`prod-diff_binary64`
122×	`expm1-udef_binary64`
122×	`log1p-udef_binary64`

Counts

1 → 29

Calls

1 calls:

98.0ms

(/.f64 (/.f64 x y) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	135	7
2	1743	7
3	4977	7
4	5243	7
0	0	0
1	0	0

simplify19.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Counts

53 → 29

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	12	168
3	16	168
4	17	168
5	17	168

prune29.0ms (1.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	29	5	34

Error

Counts

34 → 5

Alt Table

Status	Error	Program
✓	0.2b	(/.f64 (/.f64 x y) 3)
▶	0.3b	(*.f64 x (/.f64 1/3 y))
	0.4b	(/.f64 1 (*.f64 y (/.f64 3 x)))
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
✓	0.2b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 303 to 188 computations (38% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (/.f64 1/3 y))
✓	0.4b	(/.f64 1/3 y)

series32.0ms (1.4%)

Counts

2 → 24

Calls

2 calls:

30.0ms	(*.f64 x (/.f64 1/3 y))
3.0ms	(/.f64 1/3 y)

rewrite68.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

572×	`log1p-expm1-u_binary64`
572×	`expm1-log1p-u_binary64`
297×	`log-prod_binary64`
163×	`pow2_binary64`
115×	`pow1/3_binary64`

Counts

2 → 56

Calls

2 calls:

67.0ms	(*.f64 x (/.f64 1/3 y))
67.0ms	(/.f64 1/3 y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	128	11
2	1519	11
3	4911	11
0	0	0
1	0	0

simplify20.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Counts

80 → 57

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	12	168
3	16	168
4	17	168
5	17	168

prune54.0ms (2.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	57	5	62

Error

Counts

62 → 5

Alt Table

Status	Error	Program
✓	0.2b	(/.f64 (/.f64 x y) 3)
✓	0.3b	(*.f64 x (/.f64 1/3 y))
	0.4b	(/.f64 1 (*.f64 y (/.f64 3 x)))
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
✓	0.2b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 535 to 389 computations (27.3% saved)

regimes131.0ms (5.8%)

Accuracy

Total 0.3b remaining (98.2%)

Threshold costs 0.3b (98.2%)

Counts

19 → 1

Compiler

Compiled 736 to 542 computations (26.4% saved)

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

end99.0ms (4.4%)

Compiler: Compiled 53 to 39 computations (26.4% saved)

Details

analyze137.0ms (6%)

sample1.2s (52.8%)

simplify11.0ms (0.5%)

prune2.0ms (0.1%)

localize6.0ms (0.3%)

series12.0ms (0.5%)

rewrite72.0ms (3.2%)

simplify20.0ms (0.9%)

prune48.0ms (2.1%)

localize8.0ms (0.3%)

series12.0ms (0.5%)

rewrite81.0ms (3.6%)

simplify23.0ms (1%)

prune56.0ms (2.5%)

localize6.0ms (0.3%)

series14.0ms (0.6%)

rewrite99.0ms (4.4%)

simplify19.0ms (0.8%)

prune29.0ms (1.3%)

localize6.0ms (0.3%)

series32.0ms (1.4%)

rewrite68.0ms (3%)

simplify20.0ms (0.9%)

prune54.0ms (2.4%)

regimes131.0ms (5.8%)

simplify3.0ms (0.1%)

end99.0ms (4.4%)

Profiling