Details

analyze461.0ms (7.2%)

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

Results

1.0s	6381×	body	128	valid
396.0ms	807×	body	512	valid
389.0ms	502×	body	1024	valid
176.0ms	562×	body	256	valid
48.0ms	275×	body	128	invalid
10.0ms	4×	body	2048	valid

Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify31.0ms (0.5%)

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)

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

series91.0ms (1.4%)

Counts

1 → 36

Calls

1 calls:

91.0ms

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

rewrite33.0ms (0.5%)

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:

33.0ms

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

simplify33.0ms (0.5%)

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

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
	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)))
✓	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))))

Compiler

Compiled 789 to 456 computations (42.2% saved)

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

series365.0ms (5.7%)

Counts

3 → 33

Calls

3 calls:

164.0ms	(*.f64 (log.f64 y) x)
152.0ms	(-.f64 (+.f64 t (log.f64 y)) (*.f64 (log.f64 y) x))
49.0ms	(+.f64 t (log.f64 y))

rewrite60.0ms (0.9%)

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:

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

simplify35.0ms (0.5%)

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

prune139.0ms (2.2%)

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

Compiler

Compiled 5390 to 2171 computations (59.7% saved)

localize16.0ms (0.2%)

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)

series1.4s (22.2%)

Counts

4 → 84

Calls

4 calls:

913.0ms	(fma.f64 (*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (+.f64 (log.f64 y) t))
449.0ms	(*.f64 (neg.f64 (log.f64 y)) (pow.f64 (cbrt.f64 x) 2))
41.0ms	(pow.f64 (cbrt.f64 x) 2)
27.0ms	(cbrt.f64 x)

rewrite47.0ms (0.7%)

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:

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

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

675×	`fma-neg_binary64`
238×	`distribute-rgt-in_binary64`
220×	`distribute-lft-in_binary64`
220×	`fma-def_binary64`
168×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	987
1	121	987
2	323	987
3	1224	886
4	4264	886

Stop Event

1×	node limit

Counts

167 → 102

prune120.0ms (1.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	126	7	133

Error

0.0b

Counts

133 → 7

Alt Table

Status	Error	Program
	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)))
	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))))
▶	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))))
	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))))

Compiler

Compiled 3525 to 1493 computations (57.6% saved)

localize19.0ms (0.3%)

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

series482.0ms (7.5%)

Counts

2 → 24

Calls

2 calls:

246.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
235.0ms	(cbrt.f64 (cbrt.f64 x))

rewrite33.0ms (0.5%)

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:

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

simplify66.0ms (1%)

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

prune288.0ms (4.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	254	0	254
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	254	7	261

Error

0.0b

Counts

261 → 7

Alt Table

Status	Error	Program
	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)))
	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))))
✓	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))))
	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))))

Compiler

Compiled 8981 to 4052 computations (54.9% saved)

regimes292.0ms (4.5%)

Accuracy

Total 0.1b remaining (55.4%)

Threshold costs 0.1b (55.4%)

Counts

27 → 1

Compiler

Compiled 5188 to 3636 computations (29.9% 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

end172.0ms (2.7%)

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

Details

analyze461.0ms (7.2%)

sample2.1s (32.8%)

simplify31.0ms (0.5%)

prune4.0ms (0.1%)

localize12.0ms (0.2%)

series91.0ms (1.4%)

rewrite33.0ms (0.5%)

simplify33.0ms (0.5%)

prune29.0ms (0.4%)

localize13.0ms (0.2%)

series365.0ms (5.7%)

rewrite60.0ms (0.9%)

simplify35.0ms (0.5%)

prune139.0ms (2.2%)

localize16.0ms (0.2%)

series1.4s (22.2%)

rewrite47.0ms (0.7%)

simplify52.0ms (0.8%)

prune120.0ms (1.9%)

localize19.0ms (0.3%)

series482.0ms (7.5%)

rewrite33.0ms (0.5%)

simplify66.0ms (1%)

prune288.0ms (4.5%)

regimes292.0ms (4.5%)

simplify2.0ms (0%)

end172.0ms (2.7%)

Profiling