Details

analyze441.0ms (6.9%)

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 18 to 13 computations (27.8% saved)

sample2.3s (35.6%)

Results

977.0ms	6121×	body	128	valid
485.0ms	648×	body	1024	valid
422.0ms	851×	body	512	valid
242.0ms	610×	body	256	valid
46.0ms	288×	body	128	invalid
27.0ms	26×	body	2048	valid

Compiler

Compiled 53 to 38 computations (28.3% saved)

simplify38.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

821×	`fma-neg_binary64`
312×	`fma-def_binary64`
173×	`distribute-rgt-in_binary64`
132×	`unsub-neg_binary64`
123×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	25	17
2	46	17
3	75	17
4	123	17
5	201	17
6	379	17
7	721	17
8	1279	17
9	2012	17
10	2697	17
11	2973	17
12	2989	17
13	2989	17

Stop Event

1×

saturated

Counts

1 → 2

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.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)

Compiler

Compiled 58 to 37 computations (36.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series542.0ms (8.5%)

Counts

3 → 108

Calls

3 calls:

208.0ms	(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)
191.0ms	(*.f64 z (log1p.f64 (neg.f64 y)))
142.0ms	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))

rewrite59.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

714×	`prod-diff_binary64`
274×	`fma-def_binary64`
195×	`expm1-udef_binary64`
195×	`log1p-udef_binary64`
149×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	227	33
2	2944	33

Stop Event

1×	node limit

Counts

3 → 127

Calls

3 calls:

54.0ms	(*.f64 z (log1p.f64 (neg.f64 y)))
54.0ms	(-.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y)))) t)
54.0ms	(fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 (neg.f64 y))))

simplify46.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

681×	`fma-def_binary64`
574×	`associate--r+_binary64`
371×	`distribute-neg-in_binary64`
243×	`sub-neg_binary64`
241×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	141	1970
1	487	1834
2	1551	1770

Stop Event

1×	node limit

Counts

235 → 207

prune141.0ms (2.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	197	10	207
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	198	10	208

Error

0.1b

Counts

208 → 10

Alt Table

Status	Error	Program
	36.0b	(fma.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (.f64 x (log.f64 y))) (-.f64 (*.f64 z (log1p.f64 y)) t))
	29.8b	(fma.f64 (log1p.f64 (neg.f64 y)) z (neg.f64 t))
	37.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (.f64 z (log1p.f64 y)) 3)) (fma.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y)) (-.f64 (pow.f64 (.f64 z (log1p.f64 y)) 2) (.f64 (.f64 x (log.f64 y)) (.f64 z (log1p.f64 y)))))) t)
	9.7b	(-.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 y)))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y)))) 2)) t)
	9.6b	(fma.f64 (.f64 x (pow.f64 (cbrt.f64 (log.f64 y)) 2)) (cbrt.f64 (log.f64 y)) (-.f64 (.f64 z (log1p.f64 y)) t))
▶	0.3b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 y z)) t)
	37.3b	(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y)) (-.f64 (.f64 z (log1p.f64 y)) t))
	38.6b	(/.f64 1 (/.f64 (fma.f64 x (log.f64 y) (fma.f64 z (log1p.f64 y) t)) (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 y))) 2) (.f64 t t))))
	33.5b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y))) 3)) t)
	9.7b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y)))) 3) t)

Compiler

Compiled 4501 to 1654 computations (63.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series280.0ms (4.4%)

Counts

2 → 56

Calls

2 calls:

175.0ms	(*.f64 (log.f64 y) x)
105.0ms	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 y z)) t)

rewrite61.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

697×	`fma-def_binary64`
398×	`fma-neg_binary64`
214×	`expm1-udef_binary64`
214×	`log1p-udef_binary64`
153×	`egg-rr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	229	19
2	3254	19

Stop Event

1×	node limit

Counts

2 → 153

Calls

2 calls:

58.0ms	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 y z)) t)
58.0ms	(*.f64 (log.f64 y) x)

simplify126.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2595×	`fma-neg_binary64`
502×	`fma-def_binary64`
411×	`unsub-neg_binary64`
407×	`sub-neg_binary64`
266×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	635
1	95	635
2	217	595
3	519	595
4	1339	595
5	3266	595
6	4018	595
7	4649	595
8	4823	595
9	4876	595
10	4887	595
11	4940	595
12	4961	595
13	4961	595
14	4961	595

Stop Event

1×	node limit

Counts

209 → 172

prune145.0ms (2.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	168	4	172
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	171	11	182

Error

0.1b

Counts

182 → 11

Alt Table

Status	Error	Program
	29.8b	(fma.f64 (log1p.f64 (neg.f64 y)) z (neg.f64 t))
	32.4b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (neg.f64 (fma.f64 y z t)))
	9.7b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y)))) 3) t)
▶	0.8b	(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
	37.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 x (log.f64 y)) 3) (pow.f64 (.f64 z (log1p.f64 y)) 3)) (fma.f64 (.f64 x (log.f64 y)) (.f64 x (log.f64 y)) (-.f64 (pow.f64 (.f64 z (log1p.f64 y)) 2) (.f64 (.f64 x (log.f64 y)) (.f64 z (log1p.f64 y)))))) t)
	9.7b	(-.f64 (.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 y)))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y)))) 2)) t)
	17.8b	(fma.f64 (.f64 (log.f64 y) (cbrt.f64 (.f64 x x))) (cbrt.f64 x) (neg.f64 (fma.f64 y z t)))
	32.0b	(-.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (log.f64 y) x)) 2) (.f64 y z)) t)
✓	0.3b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 y z)) t)
	38.6b	(/.f64 1 (/.f64 (fma.f64 x (log.f64 y) (fma.f64 z (log1p.f64 y) t)) (-.f64 (pow.f64 (fma.f64 x (log.f64 y) (.f64 z (log1p.f64 y))) 2) (.f64 t t))))
	33.5b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y))) 3)) t)

Compiler

Compiled 3597 to 931 computations (74.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series743.0ms (11.7%)

Counts

4 → 96

Calls

4 calls:

350.0ms	(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
247.0ms	(*.f64 (cbrt.f64 (log.f64 y)) x)
77.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 2)
70.0ms	(cbrt.f64 (log.f64 y))

rewrite73.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

530×	`log-prod_binary64`
236×	`prod-diff_binary64`
205×	`expm1-udef_binary64`
205×	`log1p-udef_binary64`
189×	`log-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	46
1	259	34
2	3039	32

Stop Event

1×	node limit

Counts

4 → 155

Calls

4 calls:

69.0ms	(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
69.0ms	(*.f64 (cbrt.f64 (log.f64 y)) x)
69.0ms	(cbrt.f64 (log.f64 y))
69.0ms	(pow.f64 (cbrt.f64 (log.f64 y)) 2)

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

675×	`fma-neg_binary64`
486×	`unswap-sqr_binary64`
374×	`associate-l_binary64`
336×	`associate-r_binary64`
228×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	991
1	147	983
2	330	983
3	979	983
4	3410	983

Stop Event

1×	node limit

Counts

251 → 184

prune175.0ms (2.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	209	5	214
Fresh	4	5	9
Picked	0	1	1
Done	0	1	1
Total	213	12	225

Error

0.0b

Counts

225 → 12

Alt Table

Status	Error	Program
	17.8b	(fma.f64 (.f64 (log.f64 y) (cbrt.f64 (.f64 x x))) (cbrt.f64 x) (neg.f64 (fma.f64 y z t)))
	0.9b	(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 y))) 3) x) (neg.f64 (fma.f64 y z t)))
	0.6b	(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (.f64 (.f64 (cbrt.f64 -1) (pow.f64 (log.f64 (/.f64 1 y)) 1/3)) x) (neg.f64 (fma.f64 y z t)))
	29.8b	(fma.f64 (log1p.f64 (neg.f64 y)) z (neg.f64 t))
	32.4b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (neg.f64 (fma.f64 y z t)))
▶	0.5b	(fma.f64 (cbrt.f64 (pow.f64 (log.f64 y) 2)) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
✓	0.3b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 y z)) t)
	34.7b	(+.f64 (fma.f64 (.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 y)) x)) 2)) (cbrt.f64 (.f64 (cbrt.f64 (log.f64 y)) x)) (neg.f64 (.f64 (neg.f64 (cbrt.f64 (fma.f64 y z t))) (pow.f64 (cbrt.f64 (fma.f64 y z t)) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 (fma.f64 y z t)))) (pow.f64 (cbrt.f64 (fma.f64 y z t)) 2) (*.f64 (neg.f64 (cbrt.f64 (fma.f64 y z t))) (pow.f64 (cbrt.f64 (fma.f64 y z t)) 2))))
	32.0b	(-.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (log.f64 y) x)) 2) (.f64 y z)) t)
	0.6b	(fma.f64 (pow.f64 (pow.f64 (log.f64 y) 2) 1/3) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
	33.5b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (*.f64 z (log1p.f64 y))) 3)) t)
✓	0.8b	(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))

Compiler

Compiled 6342 to 1974 computations (68.9% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series87.0ms (1.4%)

Counts

2 → 20

Calls

2 calls:

64.0ms	(cbrt.f64 (pow.f64 (log.f64 y) 2))
23.0ms	(pow.f64 (log.f64 y) 2)

rewrite42.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

409×	`log1p-expm1-u_binary64`
409×	`expm1-log1p-u_binary64`
358×	`pow1_binary64`
281×	`unpow-prod-down_binary64`
209×	`log-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	14
1	117	14
2	1225	14

Stop Event

1×	node limit

Counts

2 → 69

Calls

2 calls:

41.0ms	(cbrt.f64 (pow.f64 (log.f64 y) 2))
41.0ms	(pow.f64 (log.f64 y) 2)

simplify29.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

650×	`fma-neg_binary64`
545×	`unswap-sqr_binary64`
499×	`associate-l_binary64`
428×	`fma-def_binary64`
241×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	160
1	48	144
2	82	144
3	242	144
4	864	144
5	3448	144

Stop Event

1×	node limit

Counts

89 → 75

prune143.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	123	5	128
Fresh	4	5	9
Picked	1	0	1
Done	1	1	2
Total	129	11	140

Error

Counts

140 → 11

Alt Table

Status	Error	Program
	29.8b	(fma.f64 (log1p.f64 (neg.f64 y)) z (neg.f64 t))
	32.4b	(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 y)) (neg.f64 (fma.f64 y z t)))
	0.8b	(fma.f64 (cbrt.f64 (pow.f64 (log.f64 y) 2)) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (log.f64 y)) x)) 3) (neg.f64 (fma.f64 y z t)))
	0.5b	(fma.f64 (cbrt.f64 (pow.f64 (log.f64 y) 2)) (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (log.f64 y)))) (cbrt.f64 (exp.f64 (cbrt.f64 (log.f64 y)))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (log.f64 y)))))) x) (neg.f64 (fma.f64 y z t)))
	34.7b	(+.f64 (fma.f64 (.f64 (pow.f64 (cbrt.f64 (log.f64 y)) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 y)) x)) 2)) (cbrt.f64 (.f64 (cbrt.f64 (log.f64 y)) x)) (neg.f64 (.f64 (neg.f64 (cbrt.f64 (fma.f64 y z t))) (pow.f64 (cbrt.f64 (fma.f64 y z t)) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 (fma.f64 y z t)))) (pow.f64 (cbrt.f64 (fma.f64 y z t)) 2) (*.f64 (neg.f64 (cbrt.f64 (fma.f64 y z t))) (pow.f64 (cbrt.f64 (fma.f64 y z t)) 2))))
	32.0b	(-.f64 (-.f64 (pow.f64 (sqrt.f64 (.f64 (log.f64 y) x)) 2) (.f64 y z)) t)
✓	0.3b	(-.f64 (-.f64 (.f64 (log.f64 y) x) (.f64 y z)) t)
	0.6b	(fma.f64 (pow.f64 (pow.f64 (log.f64 y) 2) 1/3) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
	25.0b	(fma.f64 (cbrt.f64 (pow.f64 (log.f64 y) 2)) (cbrt.f64 (*.f64 (pow.f64 x 3) (log.f64 y))) (neg.f64 (fma.f64 y z t)))
	0.6b	(fma.f64 (cbrt.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (log.f64 y) 2))) 1)) (*.f64 (cbrt.f64 (log.f64 y)) x) (neg.f64 (fma.f64 y z t)))
	0.5b	(fma.f64 (cbrt.f64 (pow.f64 (log.f64 y) 2)) (.f64 (.f64 (cbrt.f64 -1) (pow.f64 (log.f64 (/.f64 1 y)) 1/3)) x) (neg.f64 (fma.f64 y z t)))

Compiler

Compiled 2886 to 1098 computations (62% saved)

regimes636.0ms (10%)

Accuracy

Total 0.1b remaining (75.5%)

Threshold costs 0.1b (75.5%)

Counts

89 → 1

Compiler

Compiled 11282 to 6885 computations (39% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	18	17
2	23	17
3	26	17
4	27	17

Stop Event

1×

saturated

end187.0ms (2.9%)

Compiler: Compiled 311 to 189 computations (39.2% saved)

Details

analyze441.0ms (6.9%)

sample2.3s (35.6%)

simplify38.0ms (0.6%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series542.0ms (8.5%)

rewrite59.0ms (0.9%)

simplify46.0ms (0.7%)

prune141.0ms (2.2%)

localize7.0ms (0.1%)

series280.0ms (4.4%)

rewrite61.0ms (1%)

simplify126.0ms (2%)

prune145.0ms (2.3%)

localize13.0ms (0.2%)

series743.0ms (11.7%)

rewrite73.0ms (1.2%)

simplify52.0ms (0.8%)

prune175.0ms (2.7%)

localize15.0ms (0.2%)

series87.0ms (1.4%)

rewrite42.0ms (0.7%)

simplify29.0ms (0.4%)

prune143.0ms (2.2%)

regimes636.0ms (10%)

simplify5.0ms (0.1%)

end187.0ms (2.9%)

Profiling