Details

analyze190.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.9s (8%)

Results

1.4s	8256×	body	128	valid
107.0ms	800×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

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

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

11.4b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize13.0ms (0.1%)

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

series2.8s (12.1%)

Counts

3 → 84

Calls

3 calls:

1.5s	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
673.0ms	(log.f64 (/.f64 x y))
665.0ms	(*.f64 x (log.f64 (/.f64 x y)))

rewrite40.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:

11.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
10.0ms	(*.f64 x (log.f64 (/.f64 x y)))
4.0ms	(log.f64 (/.f64 x y))

simplify270.0ms (1.2%)

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

prune296.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

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

Error

Counts

179 → 9

Alt Table

Status	Error	Program
	2.2b	(-.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)
	34.4b	(-.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)
	11.4b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)
	2.2b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
	34.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 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)
	34.2b	(+.f64 (*.f64 (log.f64 x) x) (neg.f64 (fma.f64 x (log.f64 y) z)))
✓	11.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
	36.0b	(-.f64 (+.f64 (.f64 x (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 x (cbrt.f64 y))))) z)

Compiler

Compiled 3175 to 1016 computations (68% saved)

localize18.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.4b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
✓	0.6b	(cbrt.f64 y)
✓	0.6b	(cbrt.f64 x)

series3.3s (14.2%)

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))))
700.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
51.0ms	(cbrt.f64 x)
45.0ms	(cbrt.f64 y)

rewrite109.0ms (0.5%)

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:

34.0ms	(+.f64 (*.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))) (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
6.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)

simplify343.0ms (1.5%)

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

prune1.0s (4.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	532	0	532
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	532	9	541

Error

Counts

541 → 9

Alt Table

Status	Error	Program
▶	2.2b	(-.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)
	34.4b	(-.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)
	11.4b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)
	2.2b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) y)))) z)
	34.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 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)
	34.2b	(+.f64 (*.f64 (log.f64 x) x) (neg.f64 (fma.f64 x (log.f64 y) z)))
✓	11.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
	36.0b	(-.f64 (+.f64 (.f64 x (neg.f64 (.f64 2 (log.f64 (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 x (cbrt.f64 y))))) z)

Compiler

Compiled 14927 to 5071 computations (66% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series6.7s (28.8%)

Counts

3 → 60

Calls

3 calls:

4.5s	(+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))
2.2s	(log.f64 (/.f64 (cbrt.f64 x) y))
64.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
25×	`cbrt-prod_binary64`
24×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`log-prod_binary64`

Counts

3 → 92

Calls

3 calls:

9.0ms	(+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))
8.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
5.0ms	(log.f64 (/.f64 (cbrt.f64 x) y))

simplify200.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

569×	`fma-neg_binary64`
459×	`distribute-rgt-in_binary64`
437×	`fma-def_binary64`
427×	`distribute-lft-in_binary64`
243×	`log-prod_binary64`

Counts

152 → 148

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	2365
1	423	2161
2	1338	1870
3	4324	1820
4	4952	1820
5	5161	1820

prune425.0ms (1.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	202	9	211

Error

Counts

211 → 9

Alt Table

Status	Error	Program
	34.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))))) z)
▶	2.2b	(-.f64 (fma.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x (.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
✓	2.2b	(-.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)
	34.4b	(-.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)
	11.4b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)
	2.2b	(-.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)
	34.2b	(+.f64 (*.f64 (log.f64 x) x) (neg.f64 (fma.f64 x (log.f64 y) z)))
✓	11.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

Compiler

Compiled 5481 to 2234 computations (59.2% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(fma.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x (.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))
	0.6b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)
	2.1b	(log.f64 (/.f64 (cbrt.f64 x) y))

series4.1s (17.7%)

Counts

1 → 24

Calls

1 calls:

4.1s	(fma.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x (.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

1.0ms

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

simplify95.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

760×	`associate-l_binary64`
636×	`fma-def_binary64`
541×	`distribute-rgt-in_binary64`
509×	`distribute-lft-in_binary64`
345×	`fma-neg_binary64`

Counts

34 → 27

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	889
1	166	734
2	398	620
3	1306	510
4	4903	510
5	5023	510

prune225.0ms (1%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	196	0	196
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	196	9	205

Error

Counts

205 → 9

Alt Table

Status	Error	Program
	34.3b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 y))) (log.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 y))))) z)
✓	2.2b	(-.f64 (fma.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x (.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
✓	2.2b	(-.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)
	34.4b	(-.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)
	11.4b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 (/.f64 x y))))) (*.f64 x (log.f64 (cbrt.f64 (/.f64 x y))))) z)
	2.2b	(-.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)
	34.2b	(+.f64 (*.f64 (log.f64 x) x) (neg.f64 (fma.f64 x (log.f64 y) z)))
✓	11.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

Compiler

Compiled 4914 to 1888 computations (61.6% saved)

regimes604.0ms (2.6%)

Accuracy

Total 0.2b remaining (87.1%)

Threshold costs 0.2b (87.1%)

Counts

90 → 1

Compiler

Compiled 8467 to 5397 computations (36.3% saved)

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

end233.0ms (1%)

Compiler: Compiled 227 to 131 computations (42.3% saved)

Details

analyze190.0ms (0.8%)

sample1.9s (8%)

simplify311.0ms (1.3%)

prune3.0ms (0%)

localize13.0ms (0.1%)

series2.8s (12.1%)

rewrite40.0ms (0.2%)

simplify270.0ms (1.2%)

prune296.0ms (1.3%)

localize18.0ms (0.1%)

series3.3s (14.2%)

rewrite109.0ms (0.5%)

simplify343.0ms (1.5%)

prune1.0s (4.5%)

localize32.0ms (0.1%)

series6.7s (28.8%)

rewrite31.0ms (0.1%)

simplify200.0ms (0.9%)

prune425.0ms (1.8%)

localize30.0ms (0.1%)

series4.1s (17.7%)

rewrite2.0ms (0%)

simplify95.0ms (0.4%)

prune225.0ms (1%)

regimes604.0ms (2.6%)

simplify6.0ms (0%)

end233.0ms (1%)

Profiling