Details

analyze356.0ms (3.7%)

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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	62.4%	37.6%	5
0%	56.2%	43.8%	6
6.2%	49.9%	43.8%	7
9.4%	43.7%	47%	8
14%	37.4%	48.5%	9
21.1%	30.4%	48.5%	10
24.6%	26.1%	49.3%	11
28.7%	21.6%	49.7%	12
33.4%	16.9%	49.7%	13
35.8%	14.3%	49.9%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (12.6%)

Results

1.0s	8255×	body	128	valid
7.0ms	63×	body	128	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify146.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

3353×	`fma-neg_binary64`
476×	`distribute-rgt-in_binary64`
425×	`unsub-neg_binary64`
361×	`fma-def_binary64`
308×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	16	12
2	36	12
3	76	12
4	131	12
5	231	12
6	342	12
7	678	12
8	1365	12
9	2068	12
10	2356	12
11	2518	12
12	2627	12
13	2660	12
14	2664	12
15	2866	12
16	2767	12
17	2779	12
18	2791	12
19	2799	12
20	2799	12
21	5311	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

0.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series425.0ms (4.4%)

Counts

3 → 96

Calls

3 calls:

231.0ms	(*.f64 x (log.f64 y))
98.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
96.0ms	(-.f64 (*.f64 x (log.f64 y)) z)

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
25×	`associate--l+_binary64`
25×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`

Counts

3 → 98

Calls

3 calls:

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

simplify111.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1055×	`fma-neg_binary64`
315×	`cancel-sign-sub-inv_binary64`
286×	`exp-sum_binary64`
273×	`distribute-rgt-in_binary64`
255×	`distribute-lft-in_binary64`

Counts

194 → 159

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	1955
1	363	1912
2	1184	1903
3	2863	1893
4	4373	1893
5	4927	1893

prune143.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	151	8	159
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	8	160

Error

Counts

160 → 8

Alt Table

Status	Error	Program
	0.5b	(+.f64 (fma.f64 x (log.f64 y) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) (neg.f64 y))
	0.5b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)
	21.8b	(-.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y)))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
	34.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	33.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 2758 to 784 computations (71.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.6s (37%)

Counts

4 → 84

Calls

4 calls:

1.3s	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
1.1s	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
1.1s	(*.f64 x (log.f64 (cbrt.f64 y)))
29.0ms	(cbrt.f64 y)

rewrite40.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
15×	`cbrt-prod_binary64`

Counts

4 → 94

Calls

4 calls:

27.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
4.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
4.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)

simplify105.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

731×	`fma-neg_binary64`
502×	`fma-def_binary64`
375×	`*-commutative_binary64`
346×	`cancel-sign-sub-inv_binary64`
279×	`distribute-rgt-neg-in_binary64`

Counts

178 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2256
1	336	1937
2	1137	1744
3	3238	1736
4	4453	1736
5	4816	1736

prune192.0ms (2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	173	8	181

Error

Counts

181 → 8

Alt Table

Status	Error	Program
	0.5b	(+.f64 (fma.f64 x (log.f64 y) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) (neg.f64 y))
	0.5b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
▶	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 y) 2/3)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	34.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	33.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 4081 to 1705 computations (58.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 x (log.f64 (cbrt.f64 y)))
✓	0.3b	(.f64 x (.f64 (log.f64 y) 2/3))
✓	0.4b	(*.f64 (log.f64 y) 2/3)
	0.6b	(cbrt.f64 y)

series263.0ms (2.7%)

Counts

2 → 36

Calls

2 calls:

240.0ms	(.f64 x (.f64 (log.f64 y) 2/3))
22.0ms	(*.f64 (log.f64 y) 2/3)

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`pow1_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
7×	`associate-l_binary64`
7×	`add-sqr-sqrt_binary64`

Counts

2 → 41

Calls

2 calls:

4.0ms	(.f64 x (.f64 (log.f64 y) 2/3))
3.0ms	(*.f64 (log.f64 y) 2/3)

simplify70.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

519×	`fma-def_binary64`
506×	`associate-l_binary64`
385×	`associate-r_binary64`
382×	`*-commutative_binary64`
328×	`distribute-rgt-in_binary64`

Counts

77 → 64

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	76	744
1	148	672
2	442	672
3	1200	672
4	2626	672
5	4415	672
6	4898	672

prune143.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	134	8	142

Error

Counts

142 → 8

Alt Table

Status	Error	Program
	0.5b	(+.f64 (fma.f64 x (log.f64 y) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) (neg.f64 y))
▶	0.5b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 y) 2/3)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	34.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	33.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 3082 to 1392 computations (54.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.8s (19.1%)

Counts

4 → 72

Calls

4 calls:

898.0ms	(.f64 x (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))
373.0ms	(cbrt.f64 (log.f64 y))
350.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
214.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y)))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`pow1_binary64`
32×	`cbrt-prod_binary64`
25×	`add-sqr-sqrt_binary64`
20×	`add-exp-log_binary64`
18×	`*-un-lft-identity_binary64`

Counts

4 → 109

Calls

4 calls:

10.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y)))
5.0ms	(.f64 x (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))
5.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
1.0ms	(cbrt.f64 (log.f64 y))

simplify141.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

814×	`fma-def_binary64`
765×	`unswap-sqr_binary64`
540×	`log-prod_binary64`
452×	`distribute-rgt-neg-out_binary64`
407×	`neg-mul-1_binary64`

Counts

181 → 149

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	118	1949
1	245	1622
2	806	1508
3	1510	1466
4	3688	1372
5	4253	1372
6	4932	1372
7	5107	1372

prune169.0ms (1.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	185	8	193

Error

Counts

193 → 8

Alt Table

Status	Error	Program
	0.5b	(+.f64 (fma.f64 x (log.f64 y) (neg.f64 (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 z) (cbrt.f64 z))))) (neg.f64 y))
✓	0.5b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 y) 2/3)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	34.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
	33.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 4043 to 1241 computations (69.3% saved)

regimes494.0ms (5.1%)

Accuracy

Total 0.1b remaining (80.5%)

Threshold costs 0.1b (80.5%)

Counts

134 → 1

Compiler

Compiled 9119 to 5584 computations (38.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	14	12
2	19	12
3	22	12
4	23	12
5	23	12

end97.0ms (1%)

Compiler: Compiled 173 to 98 computations (43.4% saved)

Details

analyze356.0ms (3.7%)

sample1.2s (12.6%)

simplify146.0ms (1.5%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series425.0ms (4.4%)

rewrite20.0ms (0.2%)

simplify111.0ms (1.2%)

prune143.0ms (1.5%)

localize11.0ms (0.1%)

series3.6s (37%)

rewrite40.0ms (0.4%)

simplify105.0ms (1.1%)

prune192.0ms (2%)

localize13.0ms (0.1%)

series263.0ms (2.7%)

rewrite9.0ms (0.1%)

simplify70.0ms (0.7%)

prune143.0ms (1.5%)

localize10.0ms (0.1%)

series1.8s (19.1%)

rewrite27.0ms (0.3%)

simplify141.0ms (1.5%)

prune169.0ms (1.8%)

regimes494.0ms (5.1%)

simplify2.0ms (0%)

end97.0ms (1%)

Profiling