Details

analyze358.0ms (3.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	49.9%	50.1%	5
0%	43.7%	56.3%	6
0%	34.3%	65.7%	7
3.1%	31.2%	65.7%	8
3.1%	28.1%	68.8%	9
4.7%	25%	70.4%	10
7%	20.3%	72.7%	11
10.5%	16.8%	72.7%	12
10.5%	16%	73.5%	13
12.3%	13.8%	73.9%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.5s (15.4%)

Results

1.3s	8255×	body	128	valid
48.0ms	393×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify177.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

2537×	`fma-neg_binary64`
490×	`associate--r-_binary64`
460×	`associate--l-_binary64`
401×	`distribute-rgt-in_binary64`
373×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	22	17
2	59	17
3	145	15
4	313	15
5	593	15
6	714	15
7	958	15
8	1168	15
9	1549	15
10	2712	15
11	2613	15
12	2654	15
13	2663	15
14	2669	15
15	2671	15
16	2759	15
17	2777	15
18	2785	15
19	2807	15
20	2793	15
21	2793	15
22	5107	15

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

Compiler

Compiled 53 to 31 computations (41.5% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
✓	0.2b	(fma.f64 x (log.f64 y) (log.f64 t))

series737.0ms (7.4%)

Counts

2 → 84

Calls

2 calls:

408.0ms	(fma.f64 x (log.f64 y) (log.f64 t))
328.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))

rewrite68.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

521×	`log-prod_binary64`
477×	`fma-def_binary64`
229×	`fma-neg_binary64`
204×	`expm1-udef_binary64`
204×	`log1p-udef_binary64`

Counts

2 → 156

Calls

2 calls:

65.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
65.0ms	(fma.f64 x (log.f64 y) (log.f64 t))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	213	24
2	2848	24
3	5687	24
0	0	0
1	0	0

simplify170.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

631×	`unsub-neg_binary64`
625×	`sub-neg_binary64`
525×	`+-commutative_binary64`
496×	`neg-sub0_binary64`
480×	`neg-mul-1_binary64`

Counts

240 → 179

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	954
1	132	954
2	337	954
3	1037	954
4	3262	954
5	3339	954
6	3906	954
7	4556	954
8	4300	954
9	4231	954
10	4305	954
11	4987	954
12	5110	954

prune167.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	172	7	179
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	172	8	180

Error

0.0b

Counts

180 → 8

Alt Table

Status	Error	Program
	33.8b	(fma.f64 (*.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
▶	0.3b	(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2)) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	28.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	37.9b	(/.f64 1 (/.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)) (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (log.f64 t)) 2) (pow.f64 (+.f64 y z) 2))))
	32.4b	(-.f64 (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 2) (+.f64 y z))
	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	22.3b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (log.f64 t) 3)) (fma.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y)) (-.f64 (pow.f64 (log.f64 t) 2) (.f64 (*.f64 x (log.f64 y)) (log.f64 t))))) (+.f64 y z))

Compiler

Compiled 3866 to 909 computations (76.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2)) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.3b	(*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2))
✓	0.5b	(cbrt.f64 (log.f64 y))
✓	0.5b	(pow.f64 (cbrt.f64 (log.f64 y)) 2)

series2.6s (26.5%)

Counts

4 → 96

Calls

4 calls:

1.3s	(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2)) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
774.0ms	(*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2))
277.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 2)
274.0ms	(cbrt.f64 (log.f64 y))

rewrite66.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

491×	`fma-def_binary64`
260×	`expm1-udef_binary64`
260×	`log1p-udef_binary64`
233×	`fma-neg_binary64`
147×	`add-sqr-sqrt_binary64`

Counts

4 → 86

Calls

4 calls:

65.0ms	(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2)) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
65.0ms	(*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2))
65.0ms	(cbrt.f64 (log.f64 y))
65.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	51
1	293	41
2	3594	39
3	5042	39
0	0	0
1	0	0

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

667×	`sub-neg_binary64`
412×	`associate-r_binary64`
404×	`fma-def_binary64`
402×	`associate-l_binary64`
361×	`associate--r+_binary64`

Counts

182 → 112

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	1083
1	171	1083
2	412	1083
3	1163	1083
4	4335	1083
5	4888	1083
6	4919	1083

prune154.0ms (1.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	136	10	146

Error

0.0b

Counts

146 → 10

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (*.f64 x (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2)))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	33.8b	(fma.f64 (*.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
▶	0.2b	(fma.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	37.9b	(/.f64 1 (/.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)) (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (log.f64 t)) 2) (pow.f64 (+.f64 y z) 2))))
	0.3b	(fma.f64 (*.f64 x (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	28.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	32.4b	(-.f64 (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 2) (+.f64 y z))
	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	22.3b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (log.f64 t) 3)) (fma.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y)) (-.f64 (pow.f64 (log.f64 t) 2) (.f64 (*.f64 x (log.f64 y)) (log.f64 t))))) (+.f64 y z))

Compiler

Compiled 2939 to 1053 computations (64.2% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2)))
	0.5b	(cbrt.f64 (log.f64 y))
✓	0.5b	(pow.f64 (log.f64 y) 2)
✓	0.5b	(cbrt.f64 (pow.f64 (log.f64 y) 2))

series1.1s (10.9%)

Counts

3 → 44

Calls

3 calls:

765.0ms	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2)))
291.0ms	(cbrt.f64 (pow.f64 (log.f64 y) 2))
26.0ms	(pow.f64 (log.f64 y) 2)

rewrite73.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

581×	`log1p-expm1-u_binary64`
581×	`expm1-log1p-u_binary64`
319×	`log-prod_binary64`
178×	`pow2_binary64`
125×	`expm1-udef_binary64`

Counts

3 → 69

Calls

3 calls:

71.0ms	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2)))
71.0ms	(pow.f64 (log.f64 y) 2)
71.0ms	(cbrt.f64 (pow.f64 (log.f64 y) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	154	25
2	1561	25
3	5000	25
4	4919	25
0	0	0
1	0	0

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

667×	`fma-neg_binary64`
587×	`associate-l_binary64`
548×	`unsub-neg_binary64`
545×	`unswap-sqr_binary64`
428×	`fma-def_binary64`

Counts

113 → 76

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	424
1	55	408
2	88	408
3	252	408
4	607	408
5	2304	408
6	4153	408
7	4922	408
8	4888	408

prune134.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	103	9	112

Error

0.0b

Counts

112 → 9

Alt Table

Status	Error	Program
✓	0.2b	(fma.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	37.9b	(/.f64 1 (/.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)) (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (log.f64 t)) 2) (pow.f64 (+.f64 y z) 2))))
	0.4b	(fma.f64 (*.f64 x (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2)))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
▶	0.3b	(fma.f64 (*.f64 x (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	28.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	33.8b	(fma.f64 (.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2))) (exp.f64 (.f64 (log.f64 (log.f64 y)) 1/3)) (-.f64 (log.f64 t) (+.f64 y z)))
	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	22.3b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (log.f64 t) 3)) (fma.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y)) (-.f64 (pow.f64 (log.f64 t) 2) (.f64 (*.f64 x (log.f64 y)) (log.f64 t))))) (+.f64 y z))

Compiler

Compiled 2527 to 1074 computations (57.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4))
✓	0.3b	(*.f64 x (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4)))
	0.5b	(cbrt.f64 (log.f64 y))
✓	0.9b	(pow.f64 (cbrt.f64 (log.f64 y)) 4)

series1.4s (13.6%)

Counts

3 → 48

Calls

3 calls:

770.0ms	(*.f64 x (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4)))
298.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4))
283.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 4)

rewrite70.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

656×	`log1p-expm1-u_binary64`
656×	`expm1-log1p-u_binary64`
355×	`log-prod_binary64`
137×	`expm1-udef_binary64`
137×	`log1p-udef_binary64`

Counts

3 → 75

Calls

3 calls:

69.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4))
69.0ms	(*.f64 x (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4)))
69.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	175	27
2	1774	27
3	5089	27
0	0	0
1	0	0

simplify135.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

755×	`fma-def_binary64`
612×	`fma-neg_binary64`
566×	`unswap-sqr_binary64`
490×	`distribute-rgt-neg-out_binary64`
320×	`associate-l_binary64`

Counts

123 → 85

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	456
1	75	456
2	120	456
3	404	456
4	1288	456
5	3382	456
6	4685	456
7	4899	456
8	4897	456

prune170.0ms (1.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	137	9	146

Error

0.0b

Counts

146 → 9

Alt Table

Status	Error	Program
✓	0.2b	(fma.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	37.9b	(/.f64 1 (/.f64 (+.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z)) (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (log.f64 t)) 2) (pow.f64 (+.f64 y z) 2))))
	0.4b	(fma.f64 (*.f64 x (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2)))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.3b	(fma.f64 (*.f64 x (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 4))) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
	28.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	33.8b	(fma.f64 (.f64 x (cbrt.f64 (pow.f64 (log.f64 y) 2))) (exp.f64 (.f64 (log.f64 (log.f64 y)) 1/3)) (-.f64 (log.f64 t) (+.f64 y z)))
	0.5b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	22.3b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (log.f64 t) 3)) (fma.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y)) (-.f64 (pow.f64 (log.f64 t) 2) (.f64 (*.f64 x (log.f64 y)) (log.f64 t))))) (+.f64 y z))

Compiler

Compiled 3209 to 1222 computations (61.9% saved)

regimes462.0ms (4.7%)

Accuracy

Total 0.1b remaining (65.9%)

Threshold costs 0.1b (65.9%)

Counts

48 → 1

Compiler

Compiled 7918 to 4951 computations (37.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	13	15
2	22	15
3	30	15
4	35	15
5	37	15
6	37	15

end153.0ms (1.5%)

Compiler: Compiled 239 to 147 computations (38.5% saved)

Details

analyze358.0ms (3.6%)

sample1.5s (15.4%)

simplify177.0ms (1.8%)

prune3.0ms (0%)

localize11.0ms (0.1%)

series737.0ms (7.4%)

rewrite68.0ms (0.7%)

simplify170.0ms (1.7%)

prune167.0ms (1.7%)

localize13.0ms (0.1%)

series2.6s (26.5%)

rewrite66.0ms (0.7%)

simplify91.0ms (0.9%)

prune154.0ms (1.5%)

localize17.0ms (0.2%)

series1.1s (10.9%)

rewrite73.0ms (0.7%)

simplify83.0ms (0.8%)

prune134.0ms (1.4%)

localize17.0ms (0.2%)

series1.4s (13.6%)

rewrite70.0ms (0.7%)

simplify135.0ms (1.4%)

prune170.0ms (1.7%)

regimes462.0ms (4.7%)

simplify3.0ms (0%)

end153.0ms (1.5%)

Profiling