Details

analyze476.0ms (9.4%)

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%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
4.7%	21.8%	73.5%	11
4.7%	21.8%	73.5%	12
7%	19.5%	73.5%	13
8.2%	17.5%	74.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample2.2s (43.4%)

Results

1.1s	6381×	body	128	valid
414.0ms	502×	body	1024	valid
388.0ms	807×	body	512	valid
206.0ms	562×	body	256	valid
43.0ms	275×	body	128	invalid
4.0ms	4×	body	2048	valid

Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify37.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

576×	`fma-def_binary64`
542×	`fma-neg_binary64`
346×	`cancel-sign-sub-inv_binary64`
330×	`sub-neg_binary64`
258×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	31	23
2	65	23
3	167	23
4	373	23
5	1011	23
6	2426	23
7	4408	23
8	4882	23

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 116 to 85 computations (26.7% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (log.f64 y) (-.f64 1 x) t)

series90.0ms (1.8%)

Counts

1 → 36

Calls

1 calls:

90.0ms

(fma.f64 (log.f64 y) (-.f64 1 x) t)

rewrite36.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

725×	`log1p-expm1-u_binary64`
725×	`expm1-log1p-u_binary64`
196×	`prod-diff_binary64`
141×	`log1p-udef_binary64`
80×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	160	10
2	1917	10

Stop Event

1×	node limit

Counts

1 → 23

Calls

1 calls:

35.0ms

(fma.f64 (log.f64 y) (-.f64 1 x) t)

simplify34.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
464×	`sub-neg_binary64`
428×	`fma-neg_binary64`
385×	`distribute-neg-in_binary64`
380×	`unsub-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	26	455
1	63	455
2	159	455
3	524	363
4	1696	333
5	3997	333

Stop Event

1×	node limit

Counts

59 → 33

prune29.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Error

0.1b

Counts

35 → 4

Alt Table

Status	Error	Program
✓	0.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (log.f64 y) (-.f64 1 x) t)))
▶	0.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))))
	40.5b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (pow.f64 (sqrt.f64 (fma.f64 (log.f64 y) (-.f64 1 x) t)) 2)))
	1.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 1 x) t)) 3)))

Compiler

Compiled 789 to 456 computations (42.2% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 t (log.f64 y))
✓	0.0b	(-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))
✓	0.3b	(*.f64 (log.f64 y) x)

series377.0ms (7.5%)

Counts

3 → 33

Calls

3 calls:

180.0ms	(*.f64 (log.f64 y) x)
151.0ms	(-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))
46.0ms	(+.f64 t (log.f64 y))

rewrite58.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

472×	`log-prod_binary64`
438×	`fma-def_binary64`
211×	`fma-neg_binary64`
194×	`egg-rr`
172×	`expm1-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	181	24
2	2692	22

Stop Event

1×	node limit

Counts

3 → 194

Calls

3 calls:

54.0ms	(+.f64 t (log.f64 y))
54.0ms	(-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))
54.0ms	(*.f64 (log.f64 y) x)

simplify35.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-neg_binary64`
488×	`unsub-neg_binary64`
322×	`sub-neg_binary64`
321×	`+-commutative_binary64`
202×	`associate-+r+_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	31	312
1	76	248
2	187	248
3	585	222
4	2330	214
5	4205	214

Stop Event

1×	node limit

Counts

227 → 209

prune149.0ms (3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	206	3	209
Fresh	1	1	2
Picked	0	1	1
Done	1	0	1
Total	208	5	213

Error

0.0b

Counts

213 → 5

Alt Table

Status	Error	Program
	32.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (*.f64 (neg.f64 (log.f64 y)) (sqrt.f64 x)) (sqrt.f64 x) (+.f64 (log.f64 y) t))))
▶	0.5b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (+.f64 (log.f64 y) t))))
	31.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (sqrt.f64 (.f64 (log.f64 y) x)) (neg.f64 (sqrt.f64 (.f64 (log.f64 y) x))) (+.f64 (log.f64 y) t))))
✓	0.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))))
	1.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 1 x) t)) 3)))

Compiler

Compiled 5390 to 2171 computations (59.7% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series357.0ms (7.1%)

Counts

4 → 39

Calls

4 calls:

243.0ms	(fma.f64 (*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (+.f64 (log.f64 y) t))
80.0ms	(*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2))
24.0ms	(pow.f64 (cbrt.f64 x) 2)
9.0ms	(cbrt.f64 x)

rewrite49.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

658×	`prod-diff_binary64`
198×	`expm1-udef_binary64`
198×	`log1p-udef_binary64`
124×	`add-sqr-sqrt_binary64`
119×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	254	34
2	3214	34

Stop Event

1×	node limit

Counts

4 → 83

Calls

4 calls:

48.0ms	(fma.f64 (*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (+.f64 (log.f64 y) t))
48.0ms	(*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2))
48.0ms	(pow.f64 (cbrt.f64 x) 2)
47.0ms	(cbrt.f64 x)

simplify33.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

280×	`+-commutative_binary64`
280×	`sub-neg_binary64`
238×	`distribute-neg-in_binary64`
222×	`fma-def_binary64`
195×	`associate-l_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	35	481
1	91	481
2	240	481
3	839	416
4	3351	395

Stop Event

1×	node limit

Counts

122 → 96

prune119.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	117	7	124

Error

0.0b

Counts

124 → 7

Alt Table

Status	Error	Program
✓	0.5b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (+.f64 (log.f64 y) t))))
▶	0.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))) (+.f64 (log.f64 y) t))))
	9.2b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (.f64 (neg.f64 (log.f64 y)) (sqrt.f64 (.f64 x (cbrt.f64 x)))) (cbrt.f64 x) (+.f64 (log.f64 y) t))))
	32.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (*.f64 (neg.f64 (log.f64 y)) (sqrt.f64 x)) (sqrt.f64 x) (+.f64 (log.f64 y) t))))
	31.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (sqrt.f64 (.f64 (log.f64 y) x)) (neg.f64 (sqrt.f64 (.f64 (log.f64 y) x))) (+.f64 (log.f64 y) t))))
✓	0.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))))
	1.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 1 x) t)) 3)))

Compiler

Compiled 3251 to 1367 computations (58% saved)

localize20.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (cbrt.f64 x) 2)
✓	0.5b	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 (cbrt.f64 x))

series151.0ms (3%)

Counts

2 → 24

Calls

2 calls:

80.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
71.0ms	(cbrt.f64 (cbrt.f64 x))

rewrite39.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

404×	`log1p-expm1-u_binary64`
404×	`expm1-log1p-u_binary64`
356×	`pow1_binary64`
304×	`unpow-prod-down_binary64`
204×	`log-prod_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	117	13
2	1211	12

Stop Event

1×	node limit

Counts

2 → 90

Calls

2 calls:

38.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
38.0ms	(cbrt.f64 (cbrt.f64 x))

simplify78.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

581×	`sqr-pow_binary64`
540×	`unswap-sqr_binary64`
352×	`fma-def_binary64`
345×	`*-commutative_binary64`
223×	`associate-l_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	17	396
1	45	396
2	95	396
3	254	396
4	987	280
5	2061	280
6	2234	280
7	2517	280
8	2918	280
9	3361	280
10	3948	280
11	4691	280

Stop Event

1×	node limit

Counts

114 → 97

prune272.0ms (5.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	242	0	242
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	242	7	249

Error

0.0b

Counts

249 → 7

Alt Table

Status	Error	Program
✓	0.5b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (+.f64 (log.f64 y) t))))
✓	0.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))) (+.f64 (log.f64 y) t))))
	9.2b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (.f64 (neg.f64 (log.f64 y)) (sqrt.f64 (.f64 x (cbrt.f64 x)))) (cbrt.f64 x) (+.f64 (log.f64 y) t))))
	32.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (*.f64 (neg.f64 (log.f64 y)) (sqrt.f64 x)) (sqrt.f64 x) (+.f64 (log.f64 y) t))))
	31.6b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (fma.f64 (sqrt.f64 (.f64 (log.f64 y) x)) (neg.f64 (sqrt.f64 (.f64 (log.f64 y) x))) (+.f64 (log.f64 y) t))))
✓	0.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))))
	1.1b	(neg.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 1 z) (pow.f64 (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 1 x) t)) 3)))

Compiler

Compiled 8579 to 3873 computations (54.9% saved)

regimes253.0ms (5%)

Accuracy

Total 0.1b remaining (55.4%)

Threshold costs 0.1b (55.4%)

Counts

26 → 1

Compiler

Compiled 5028 to 3516 computations (30.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	25
1	28	25
2	38	25
3	44	25
4	46	25

Stop Event

1×

saturated

end127.0ms (2.5%)

Compiler: Compiled 225 to 151 computations (32.9% saved)

Details

analyze476.0ms (9.4%)

sample2.2s (43.4%)

simplify37.0ms (0.7%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

series90.0ms (1.8%)

rewrite36.0ms (0.7%)

simplify34.0ms (0.7%)

prune29.0ms (0.6%)

localize12.0ms (0.2%)

series377.0ms (7.5%)

rewrite58.0ms (1.1%)

simplify35.0ms (0.7%)

prune149.0ms (3%)

localize18.0ms (0.3%)

series357.0ms (7.1%)

rewrite49.0ms (1%)

simplify33.0ms (0.7%)

prune119.0ms (2.3%)

localize20.0ms (0.4%)

series151.0ms (3%)

rewrite39.0ms (0.8%)

simplify78.0ms (1.5%)

prune272.0ms (5.4%)

regimes253.0ms (5%)

simplify2.0ms (0%)

end127.0ms (2.5%)

Profiling