Details

analyze327.0ms (2.1%)

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

Results

1.2s	8253×	body	128	valid
45.0ms	384×	body	128	invalid
2.0ms	3×	body	1024	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify179.0ms (1.2%)

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)

localize9.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.1b	(fma.f64 x (log.f64 y) (log.f64 t))

series894.0ms (5.8%)

Counts

2 → 84

Calls

2 calls:

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

rewrite94.0ms (0.6%)

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 → 154

Calls

2 calls:

86.0ms	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
86.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

simplify175.0ms (1.1%)

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

238 → 177

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

prune122.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	173	4	177
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	173	5	178

Error

0.0b

Counts

178 → 5

Alt Table

Status	Error	Program
▶	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)))
	29.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.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))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	20.5b	(-.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 3712 to 829 computations (77.7% saved)

localize12.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)

series3.2s (20.7%)

Counts

4 → 96

Calls

4 calls:

1.6s	(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2)) (cbrt.f64 (log.f64 y)) (-.f64 (log.f64 t) (+.f64 y z)))
949.0ms	(*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2))
347.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 2)
335.0ms	(cbrt.f64 (log.f64 y))

rewrite68.0ms (0.4%)

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 → 82

Calls

4 calls:

66.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)))
66.0ms	(*.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2))
66.0ms	(cbrt.f64 (log.f64 y))
66.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	51
1	293	37
2	3594	35
3	5042	35
0	0	0
1	0	0

simplify93.0ms (0.6%)

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

178 → 109

Iterations

Useful iterations: 3 (0.0ms)

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

prune95.0ms (0.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	135	5	140

Error

0.0b

Counts

140 → 5

Alt Table

Status	Error	Program
✓	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)))
	29.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.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))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
	20.5b	(-.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 2615 to 905 computations (65.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
	0.1b	(fma.f64 x (log.f64 y) (log.f64 t))
✓	0.6b	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)

series4.0s (25.8%)

Counts

3 → 120

Calls

3 calls:

1.9s	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)
1.7s	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))
390.0ms	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))

rewrite80.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

566×	`fma-def_binary64`
285×	`fma-neg_binary64`
233×	`expm1-udef_binary64`
233×	`log1p-udef_binary64`
193×	`egg-rr`

Counts

3 → 193

Calls

3 calls:

74.0ms	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3) (+.f64 y z))
74.0ms	(cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t)))
74.0ms	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (log.f64 t))) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	260	35
2	3275	35
3	4947	35
0	0	0
1	0	0

simplify74.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

768×	`associate-/l*_binary64`
668×	`associate-/r*_binary64`
402×	`fma-def_binary64`
156×	`cancel-sign-sub-inv_binary64`
132×	`associate-/r/_binary64`

Counts

313 → 256

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	2468
1	447	2412
2	1497	2350
3	5288	2350

prune210.0ms (1.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	293	5	298

Error

0.0b

Counts

298 → 5

Alt Table

Status	Error	Program
✓	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)))
	29.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.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))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
▶	20.5b	(-.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 6681 to 2090 computations (68.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(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))))
✓	0.5b	(pow.f64 (log.f64 t) 2)
✓	0.7b	(pow.f64 (log.f64 t) 3)
✓	20.0b	(/.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)))))

series3.3s (21.5%)

Counts

4 → 88

Calls

4 calls:

2.2s	(/.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)))))
1.1s	(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))))
27.0ms	(pow.f64 (log.f64 t) 3)
24.0ms	(pow.f64 (log.f64 t) 2)

rewrite94.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

306×	`log1p-udef_binary64`
177×	`add-sqr-sqrt_binary64`
176×	`log1p-expm1-u_binary64`
176×	`expm1-log1p-u_binary64`
168×	`add-cbrt-cube_binary64`

Counts

4 → 109

Calls

4 calls:

91.0ms	(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))))
91.0ms	(pow.f64 (log.f64 t) 2)
91.0ms	(pow.f64 (log.f64 t) 3)
91.0ms	(/.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)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	97
1	375	48
2	4498	48
3	4906	48
0	0	0
1	0	0

simplify110.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

676×	`fma-def_binary64`
622×	`associate-r_binary64`
617×	`associate-l_binary64`
409×	`cancel-sign-sub-inv_binary64`
199×	`div-sub_binary64`

Counts

197 → 141

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	112	3639
1	374	3456
2	1150	3262
3	4850	3262
4	5342	3262

prune217.0ms (1.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	141	5	146

Error

0.0b

Counts

146 → 5

Alt Table

Status	Error	Program
✓	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)))
	29.8b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (-.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))
✓	0.1b	(-.f64 (fma.f64 x (log.f64 y) (log.f64 t)) (+.f64 y z))
✓	20.5b	(-.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 5398 to 2093 computations (61.2% saved)

regimes509.0ms (3.3%)

Accuracy

Total 0.0b remaining (39.6%)

Threshold costs 0.0b (39.6%)

Counts

58 → 1

Compiler

Compiled 11078 to 6663 computations (39.9% 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

end85.0ms (0.5%)

Compiler: Compiled 139 to 83 computations (40.3% saved)

Details

analyze327.0ms (2.1%)

sample1.5s (9.6%)

simplify179.0ms (1.2%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series894.0ms (5.8%)

rewrite94.0ms (0.6%)

simplify175.0ms (1.1%)

prune122.0ms (0.8%)

localize12.0ms (0.1%)

series3.2s (20.7%)

rewrite68.0ms (0.4%)

simplify93.0ms (0.6%)

prune95.0ms (0.6%)

localize11.0ms (0.1%)

series4.0s (25.8%)

rewrite80.0ms (0.5%)

simplify74.0ms (0.5%)

prune210.0ms (1.3%)

localize20.0ms (0.1%)

series3.3s (21.5%)

rewrite94.0ms (0.6%)

simplify110.0ms (0.7%)

prune217.0ms (1.4%)

regimes509.0ms (3.3%)

simplify3.0ms (0%)

end85.0ms (0.5%)

Profiling