Details

analyze396.0ms (2.6%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	87.4%	12.6%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
12.5%	56.2%	31.4%	8
14%	48.4%	37.6%	9
21.1%	41.3%	37.6%	10
26.9%	32.4%	40.7%	11
28.7%	27.5%	43.8%	12
33.4%	22.7%	43.8%	13
37.2%	17.4%	45.4%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (8.1%)

Results

939.0ms	8256×	body	128	valid
78.0ms	826×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify204.0ms (1.3%)

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

prune2.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

14.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize7.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)))
✓	13.8b	(log.f64 (/.f64 x y))

series899.0ms (5.8%)

Counts

3 → 84

Calls

3 calls:

347.0ms	(*.f64 x (log.f64 (/.f64 x y)))
322.0ms	(log.f64 (/.f64 x y))
230.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

rewrite21.0ms (0.1%)

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:

5.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
4.0ms	(*.f64 x (log.f64 (/.f64 x y)))
2.0ms	(log.f64 (/.f64 x y))

simplify145.0ms (0.9%)

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

prune149.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

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

Error

0.0b

Counts

179 → 9

Alt Table

Status	Error	Program
	32.7b	(-.f64 (+.f64 (.f64 x (log.f64 x)) (.f64 (log.f64 y) (neg.f64 x))) z)
	14.4b	(-.f64 (*.f64 x (cbrt.f64 (pow.f64 (log.f64 (/.f64 x y)) 3))) z)
	31.8b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	4.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
▶	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.7b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)
	14.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
	14.3b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)
	38.4b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)

Compiler

Compiled 3154 to 1001 computations (68.3% saved)

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

series2.0s (12.7%)

Counts

4 → 72

Calls

4 calls:

1.6s	(+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
338.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
30.0ms	(cbrt.f64 x)
28.0ms	(cbrt.f64 y)

rewrite48.0ms (0.3%)

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:

15.0ms	(+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
3.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)

simplify219.0ms (1.4%)

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

prune783.0ms (5.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	531	1	532
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	533	8	541

Error

0.0b

Counts

541 → 8

Alt Table

Status	Error	Program
	38.4b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)
▶	0.3b	(-.f64 (.f64 x (/.f64 (-.f64 (.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (-.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) z)
	31.8b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
	4.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
✓	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.7b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)
	14.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
	14.3b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)

Compiler

Compiled 14956 to 5056 computations (66.2% saved)

localize43.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series2.6s (17.1%)

Counts

2 → 48

Calls

2 calls:

1.3s

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

1.3s

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

rewrite73.0ms (0.5%)

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

2 → 308

Calls

2 calls:

12.0ms

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

7.0ms

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

simplify363.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

756×	`associate-l_binary64`
753×	`associate-r_binary64`
429×	`distribute-rgt-in_binary64`
307×	`distribute-lft-in_binary64`
284×	`*-commutative_binary64`

Counts

356 → 364

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	533	15920
1	1029	14544
2	2698	14032
3	4884	14032
4	5018	14032

prune660.0ms (4.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	580	0	580
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	580	8	588

Error

0.0b

Counts

588 → 8

Alt Table

Status	Error	Program
	38.4b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)
✓	0.3b	(-.f64 (.f64 x (/.f64 (-.f64 (.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (-.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) z)
	31.8b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
▶	4.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
✓	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.7b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)
	14.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
	14.3b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)

Compiler

Compiled 36905 to 9953 computations (73% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.3s (21.4%)

Counts

3 → 60

Calls

3 calls:

2.2s	(+.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))
1.1s	(log.f64 (/.f64 (cbrt.f64 x) y))
37.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`log-prod_binary64`
48×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
40×	`add-cube-cbrt_binary64`
39×	`times-frac_binary64`

Counts

3 → 129

Calls

3 calls:

8.0ms	(+.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
2.0ms	(log.f64 (/.f64 (cbrt.f64 x) y))

simplify131.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

851×	`fma-neg_binary64`
632×	`fma-def_binary64`
420×	`distribute-rgt-in_binary64`
371×	`distribute-lft-in_binary64`
254×	`log-prod_binary64`

Counts

189 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	207	2785
1	412	2414
2	1500	2178
3	3915	2120
4	4754	2120
5	5076	2120

prune293.0ms (1.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	261	0	261
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	261	8	269

Error

0.0b

Counts

269 → 8

Alt Table

Status	Error	Program
	38.4b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)
✓	0.3b	(-.f64 (.f64 x (/.f64 (-.f64 (.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (.f64 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (-.f64 (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))) z)
	31.8b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 (/.f64 x y)) (log.f64 (/.f64 x y))) (log.f64 (/.f64 x y))))) z)
✓	4.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
✓	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.7b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 -1 y)) x) (.f64 (log.f64 (neg.f64 x)) x)) z)
	14.2b	(fma.f64 x (log.f64 (/.f64 x y)) (neg.f64 z))
	14.3b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)

Compiler

Compiled 6345 to 2576 computations (59.4% saved)

regimes1.7s (10.9%)

Accuracy

Total 0.2b remaining (81.2%)

Threshold costs 0.2b (81.2%)

Counts

269 → 1

Compiler

Compiled 38625 to 23438 computations (39.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-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	13	31
1	18	31
2	23	31
3	25	31
4	26	31
5	26	31

end111.0ms (0.7%)

Compiler: Compiled 235 to 121 computations (48.5% saved)

Details

analyze396.0ms (2.6%)

sample1.2s (8.1%)

simplify204.0ms (1.3%)

prune2.0ms (0%)

localize7.0ms (0%)

series899.0ms (5.8%)

rewrite21.0ms (0.1%)

simplify145.0ms (0.9%)

prune149.0ms (1%)

localize10.0ms (0.1%)

series2.0s (12.7%)

rewrite48.0ms (0.3%)

simplify219.0ms (1.4%)

prune783.0ms (5.1%)

localize43.0ms (0.3%)

series2.6s (17.1%)

rewrite73.0ms (0.5%)

simplify363.0ms (2.4%)

prune660.0ms (4.3%)

localize13.0ms (0.1%)

series3.3s (21.4%)

rewrite26.0ms (0.2%)

simplify131.0ms (0.8%)

prune293.0ms (1.9%)

regimes1.7s (10.9%)

simplify3.0ms (0%)

end111.0ms (0.7%)

Profiling