Details

analyze160.0ms (7.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
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
25%	40.6%	34.4%	7
25%	32.8%	42.2%	8
25%	23.4%	51.6%	9
28.1%	18%	54%	10
31.6%	11.5%	56.9%	11
33.4%	8.9%	57.8%	12
35.2%	5.7%	59.1%	13
36.1%	4.4%	59.4%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample1.1s (53.6%)

Results

969.0ms	8256×	body	128	valid
44.0ms	342×	body	128	invalid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify66.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

741×	`neg-mul-1_binary64`
643×	`distribute-rgt-neg-in_binary64`
432×	`unswap-sqr_binary64`
377×	`fma-def_binary64`
290×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	15	10
2	36	10
3	76	10
4	206	10
5	681	10
6	1823	10
7	3044	10
8	4813	10
9	5361	10

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 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 27 to 21 computations (22.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

series12.0ms (0.6%)

Counts

1 → 6

Calls

1 calls:

12.0ms

(-.f64 (pow.f64 x 4) (pow.f64 y 4))

rewrite55.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

715×	`log1p-expm1-u_binary64`
715×	`expm1-log1p-u_binary64`
469×	`prod-diff_binary64`
75×	`add-sqr-sqrt_binary64`
72×	`egg-rr`

Counts

1 → 72

Calls

1 calls:

53.0ms

(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	159	10
2	1796	10
3	5190	10

simplify77.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

836×	`fma-def_binary64`
684×	`unswap-sqr_binary64`
604×	`associate-l_binary64`
567×	`fma-neg_binary64`
382×	`distribute-lft-neg-in_binary64`

Counts

78 → 75

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	16	30
2	34	30
3	59	30
4	129	30
5	332	30
6	969	30
7	1912	30
8	2930	30
9	4197	30
10	4897	30
11	4823	30

prune49.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	74	2	76

Error

Counts

76 → 2

Alt Table

Status	Error	Program
▶	49.7b	(/.f64 (-.f64 (pow.f64 x 12) (pow.f64 y 12)) (+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4))))
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 1566 to 1054 computations (32.7% saved)

localize15.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)))
✓	0.2b	(pow.f64 (*.f64 x y) 4)
✓	0.9b	(-.f64 (pow.f64 x 12) (pow.f64 y 12))
✓	48.6b	(/.f64 (-.f64 (pow.f64 x 12) (pow.f64 y 12)) (+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4))))

series110.0ms (5.2%)

Counts

4 → 84

Calls

4 calls:

53.0ms	(/.f64 (-.f64 (pow.f64 x 12) (pow.f64 y 12)) (+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4))))
22.0ms	(+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)))
17.0ms	(-.f64 (pow.f64 x 12) (pow.f64 y 12))
16.0ms	(pow.f64 (*.f64 x y) 4)

rewrite82.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

310×	`log1p-udef_binary64`
188×	`log1p-expm1-u_binary64`
188×	`expm1-log1p-u_binary64`
180×	`add-sqr-sqrt_binary64`
174×	`add-cbrt-cube_binary64`

Counts

4 → 126

Calls

4 calls:

79.0ms	(+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)))
79.0ms	(pow.f64 (*.f64 x y) 4)
79.0ms	(-.f64 (pow.f64 x 12) (pow.f64 y 12))
79.0ms	(/.f64 (-.f64 (pow.f64 x 12) (pow.f64 y 12)) (+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	67
1	384	67
2	4460	67
3	4826	67

simplify88.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

544×	`unswap-sqr_binary64`
451×	`fma-def_binary64`
366×	`distribute-rgt-neg-in_binary64`
340×	`distribute-lft-neg-in_binary64`
296×	`distribute-rgt-in_binary64`

Counts

210 → 142

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	20	864
1	46	858
2	123	858
3	290	858
4	926	858
5	2027	768
6	3230	768
7	4659	768
8	4906	768

prune105.0ms (5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	142	2	144

Error

Counts

144 → 2

Alt Table

Status	Error	Program
✓	49.7b	(/.f64 (-.f64 (pow.f64 x 12) (pow.f64 y 12)) (+.f64 (pow.f64 x 8) (+.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4))))
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 4093 to 2851 computations (30.3% saved)

regimes101.0ms (4.8%)

Accuracy

Total 0.0b remaining (18.5%)

Threshold costs 0.0b (18.5%)

Counts

7 → 1

Compiler

Compiled 520 to 403 computations (22.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	9	10
2	14	10
3	16	10
4	17	10
5	17	10

end54.0ms (2.6%)

Compiler: Compiled 50 to 38 computations (24% saved)

Details

analyze160.0ms (7.6%)

sample1.1s (53.6%)

simplify66.0ms (3.1%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

series12.0ms (0.6%)

rewrite55.0ms (2.6%)

simplify77.0ms (3.6%)

prune49.0ms (2.3%)

localize15.0ms (0.7%)

series110.0ms (5.2%)

rewrite82.0ms (3.9%)

simplify88.0ms (4.1%)

prune105.0ms (5%)

regimes101.0ms (4.8%)

simplify2.0ms (0.1%)

end54.0ms (2.6%)

Profiling