Details

analyze151.0ms (5%)

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 (36.5%)

Results

939.0ms	8256×	body	128	valid
43.0ms	330×	body	128	invalid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify65.0ms (2.2%)

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.1%)

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.4%)

Counts

1 → 6

Calls

1 calls:

12.0ms

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

rewrite47.0ms (1.6%)

Algorithm

2×	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:

45.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
0	0	0
1	0	0

simplify77.0ms (2.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

prune60.0ms (2%)

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

0.0b

Counts

76 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
▶	0.2b	(+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 (neg.f64 (.f64 y y)) (.f64 y y) (pow.f64 y 4)))

Compiler

Compiled 1562 to 1046 computations (33% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

9.0ms

(fma.f64 (neg.f64 (*.f64 y y)) (*.f64 y y) (pow.f64 y 4))

rewrite63.0ms (2.1%)

Algorithm

2×	batch-egg-rewrite

Rules

484×	`log1p-expm1-u_binary64`
484×	`expm1-log1p-u_binary64`
447×	`unpow-prod-down_binary64`
373×	`prod-diff_binary64`
262×	`log-prod_binary64`

Counts

1 → 140

Calls

1 calls:

58.0ms

(fma.f64 (neg.f64 (*.f64 y y)) (*.f64 y y) (pow.f64 y 4))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	149	10
2	1302	10
3	5089	10
0	0	0
1	0	0

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

152 → 141

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	12
1	1	12

prune214.0ms (7.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	215	3	218

Error

Counts

218 → 3

Alt Table

Status	Error	Program
✓	0.2b	(+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 (neg.f64 (.f64 y y)) (.f64 y y) (pow.f64 y 4)))
▶	0.1b	(+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (+.f64 (fma.f64 (.f64 (.f64 y y) (.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (.f64 y (cbrt.f64 y))))) (fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y))) (.f64 y (cbrt.f64 y)) (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (.f64 y (cbrt.f64 y))))))
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 7918 to 3852 computations (51.4% saved)

localize20.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 y) 2)
✓	0.6b	(cbrt.f64 y)
✓	23.0b	(fma.f64 (.f64 (.f64 y y) (.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (*.f64 y (cbrt.f64 y)))))
✓	23.3b	(fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y))) (.f64 y (cbrt.f64 y)) (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (*.f64 y (cbrt.f64 y))))

series186.0ms (6.2%)

Counts

4 → 48

Calls

4 calls:

58.0ms	(fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y))) (.f64 y (cbrt.f64 y)) (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (*.f64 y (cbrt.f64 y))))
56.0ms	(fma.f64 (.f64 (.f64 y y) (.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (*.f64 y (cbrt.f64 y)))))
39.0ms	(pow.f64 (cbrt.f64 y) 2)
33.0ms	(cbrt.f64 y)

rewrite69.0ms (2.3%)

Algorithm

2×	batch-egg-rewrite

Rules

867×	`log1p-expm1-u_binary64`
867×	`expm1-log1p-u_binary64`
167×	`associate-r_binary64`
135×	`add-sqr-sqrt_binary64`
131×	`add-cbrt-cube_binary64`

Counts

4 → 101

Calls

4 calls:

67.0ms	(pow.f64 (cbrt.f64 y) 2)
67.0ms	(cbrt.f64 y)
67.0ms	(fma.f64 (.f64 (.f64 y y) (.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (*.f64 y (cbrt.f64 y)))))
67.0ms	(fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y))) (.f64 y (cbrt.f64 y)) (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (*.f64 y (cbrt.f64 y))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	93
1	298	23
2	2354	23
3	5122	23
0	0	0
1	0	0

simplify122.0ms (4%)

Algorithm

1×	egg-herbie

Rules

870×	`fma-def_binary64`
601×	`sqr-pow_binary64`
460×	`unswap-sqr_binary64`
365×	`fma-neg_binary64`
345×	`*-commutative_binary64`

Counts

149 → 82

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	216
1	45	216
2	90	216
3	222	216
4	684	216
5	1160	216
6	1408	216
7	1831	216
8	2273	216
9	2895	216
10	3443	216
11	4151	216
12	4603	216
13	4822	216
14	4721	216

prune485.0ms (16.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	336	0	336
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	336	3	339

Error

Counts

339 → 3

Alt Table

Status	Error	Program
✓	0.2b	(+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 (neg.f64 (.f64 y y)) (.f64 y y) (pow.f64 y 4)))
✓	0.1b	(+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (+.f64 (fma.f64 (.f64 (.f64 y y) (.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (.f64 y (cbrt.f64 y))))) (fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y))) (.f64 y (cbrt.f64 y)) (.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 y y)) (.f64 y (cbrt.f64 y))))))
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 21782 to 8873 computations (59.3% saved)

regimes229.0ms (7.6%)

Accuracy

Total 0.0b remaining (32.8%)

Threshold costs 0.0b (32.8%)

Counts

31 → 1

Compiler

Compiled 6230 to 3748 computations (39.8% 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

end78.0ms (2.6%)

Compiler: Compiled 113 to 64 computations (43.4% saved)

Details

analyze151.0ms (5%)

sample1.1s (36.5%)

simplify65.0ms (2.2%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

series12.0ms (0.4%)

rewrite47.0ms (1.6%)

simplify77.0ms (2.6%)

prune60.0ms (2%)

localize8.0ms (0.3%)

series9.0ms (0.3%)

rewrite63.0ms (2.1%)

simplify8.0ms (0.3%)

prune214.0ms (7.1%)

localize20.0ms (0.7%)

series186.0ms (6.2%)

rewrite69.0ms (2.3%)

simplify122.0ms (4%)

prune485.0ms (16.1%)

regimes229.0ms (7.6%)

simplify2.0ms (0.1%)

end78.0ms (2.6%)

Profiling