Details

analyze108.0ms (0.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	62.4%	12.6%	5
37.4%	37.4%	25.1%	6
37.4%	37.4%	25.1%	7
37.4%	31.2%	31.4%	8
43.7%	18.7%	37.6%	9
43.7%	18.7%	37.6%	10
43.7%	15.6%	40.7%	11
46.8%	9.4%	43.8%	12
46.8%	9.4%	43.8%	13
46.8%	7.8%	45.4%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.1s (8%)

Infinites

0.4% of outputs are infinite.

Results

814.0ms	8256×	body	128	valid
70.0ms	821×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify208.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2528×	`fma-neg_binary64`
1701×	`fma-def_binary64`
364×	`distribute-rgt-in_binary64`
336×	`unsub-neg_binary64`
328×	`associate--r-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	15	12
2	23	12
3	39	12
4	85	12
5	184	12
6	322	12
7	518	12
8	681	12
9	1097	12
10	1783	12
11	1812	12
12	1882	12
13	1916	12
14	1930	12
15	3312	12
16	4220	12
17	3919	12
18	4053	12
19	4118	12
20	4154	12
21	4164	12
22	4224	12
23	4182	12
24	4182	12
25	5994	12

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

16.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	16.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
✓	0.2b	(*.f64 x (log.f64 (/.f64 x y)))
✓	16.3b	(log.f64 (/.f64 x y))

series1.1s (8%)

Counts

3 → 84

Calls

3 calls:

429.0ms	(log.f64 (/.f64 x y))
420.0ms	(*.f64 x (log.f64 (/.f64 x y)))
287.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`log-prod_binary64`
45×	`times-frac_binary64`
44×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
42×	`add-cube-cbrt_binary64`

Counts

3 → 119

Calls

3 calls:

6.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
4.0ms	(*.f64 x (log.f64 (/.f64 x y)))
3.0ms	(log.f64 (/.f64 x y))

simplify153.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-def_binary64`
603×	`fma-neg_binary64`
459×	`distribute-rgt-in_binary64`
432×	`distribute-lft-in_binary64`
129×	`associate-l_binary64`

Counts

203 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	2794
1	420	2726
2	1328	2685
3	4402	2685
4	4978	2685
5	4998	2685
6	4957	2685

prune155.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	169	9	178
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	169	10	179

Error

0.0b

Counts

179 → 10

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (.f64 x (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	31.9b	(-.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 (/.f64 x y))) 3)) z)
	6.2b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	7.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
	37.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))) x)) z)
	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	6.7b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
✓	16.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
	16.1b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	28.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)

Compiler

Compiled 3195 to 1036 computations (67.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.0s (20.8%)

Counts

4 → 72

Calls

4 calls:

2.5s	(+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
441.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
31.0ms	(cbrt.f64 x)
30.0ms	(cbrt.f64 y)

rewrite86.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`cbrt-prod_binary64`
144×	`times-frac_binary64`
120×	`log-prod_binary64`
110×	`*-un-lft-identity_binary64`
109×	`add-sqr-sqrt_binary64`

Counts

4 → 226

Calls

4 calls:

39.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
16.0ms	(+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)

simplify173.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

615×	`fma-def_binary64`
409×	`distribute-rgt-in_binary64`
394×	`distribute-lft-in_binary64`
309×	`fma-neg_binary64`
191×	`sub-neg_binary64`

Counts

298 → 398

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	300	5521
1	597	5154
2	1660	4586
3	4596	4512
4	5009	4512

prune586.0ms (4.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	532	0	532
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	532	10	542

Error

0.0b

Counts

542 → 10

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (.f64 x (+.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	31.9b	(-.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 (/.f64 x y))) 3)) z)
	6.2b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	7.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
	37.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))) x)) z)
▶	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	6.7b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
✓	16.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
	16.1b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	28.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)

Compiler

Compiled 14947 to 5091 computations (65.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.6s (11.6%)

Counts

1 → 24

Calls

1 calls:

1.6s	(+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))

rewrite89.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

240×	`log-prod_binary64`
216×	`cbrt-prod_binary64`
216×	`times-frac_binary64`
200×	`distribute-lft-in_binary64`
200×	`distribute-rgt-in_binary64`

Counts

1 → 255

Calls

1 calls:

25.0ms

(+.f64 (*.f64 x (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))

simplify231.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

932×	`fma-def_binary64`
309×	`fma-neg_binary64`
286×	`distribute-rgt-in_binary64`
250×	`*-commutative_binary64`
228×	`distribute-lft-in_binary64`

Counts

279 → 489

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	466	8020
1	843	7484
2	2074	7295
3	4711	7295
4	4985	7295

prune750.0ms (5.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	754	3	757
Fresh	5	2	7
Picked	1	0	1
Done	1	1	2
Total	761	6	767

Error

Counts

767 → 6

Alt Table

Status	Error	Program
	28.0b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)
▶	0.1b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
	6.2b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	0.2b	(-.f64 (+.f64 (.f64 x (fma.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (.f64 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
	0.2b	(-.f64 (+.f64 (.f64 (.f64 x 2) (+.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (*.f64 (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
✓	16.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

Compiler

Compiled 24072 to 7461 computations (69% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.7s (11.7%)

Counts

1 → 24

Calls

1 calls:

1.7s	(*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`log-prod_binary64`
72×	`cbrt-prod_binary64`
72×	`times-frac_binary64`
55×	`add-sqr-sqrt_binary64`
53×	`*-un-lft-identity_binary64`

Counts

1 → 101

Calls

1 calls:

9.0ms

(*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))

simplify180.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

636×	`fma-neg_binary64`
561×	`fma-def_binary64`
478×	`distribute-rgt-in_binary64`
371×	`distribute-lft-in_binary64`
232×	`associate-l_binary64`

Counts

125 → 145

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	252	3362
1	388	3270
2	1002	3176
3	1744	3152
4	4368	3040
5	4772	2996
6	4845	2987
7	4927	2987

prune447.0ms (3.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	412	1	413
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	414	5	419

Error

Counts

419 → 5

Alt Table

Status	Error	Program
	6.2b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	0.2b	(-.f64 (+.f64 (.f64 x (fma.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (.f64 (log.f64 (sqrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
	0.2b	(-.f64 (+.f64 (.f64 (.f64 x 2) (+.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) (*.f64 (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) x)) z)
✓	16.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
	0.4b	(-.f64 (fma.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) z)

Compiler

Compiled 11850 to 3650 computations (69.2% saved)

regimes2.3s (16.2%)

Accuracy

Total 0.1b remaining (88.6%)

Threshold costs 0.1b (88.6%)

Counts

351 → 1

Compiler

Compiled 45697 to 28912 computations (36.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	36
1	20	36
2	25	36
3	27	36
4	28	36
5	28	36

end104.0ms (0.7%)

Compiler: Compiled 177 to 95 computations (46.3% saved)

Details

analyze108.0ms (0.8%)

sample1.1s (8%)

simplify208.0ms (1.5%)

prune1.0ms (0%)

localize6.0ms (0%)

series1.1s (8%)

rewrite24.0ms (0.2%)

simplify153.0ms (1.1%)

prune155.0ms (1.1%)

localize11.0ms (0.1%)

series3.0s (20.8%)

rewrite86.0ms (0.6%)

simplify173.0ms (1.2%)

prune586.0ms (4.1%)

localize13.0ms (0.1%)

series1.6s (11.6%)

rewrite89.0ms (0.6%)

simplify231.0ms (1.6%)

prune750.0ms (5.3%)

localize11.0ms (0.1%)

series1.7s (11.7%)

rewrite20.0ms (0.1%)

simplify180.0ms (1.3%)

prune447.0ms (3.1%)

regimes2.3s (16.2%)

simplify3.0ms (0%)

end104.0ms (0.7%)

Profiling