Details

analyze590.0ms (4.9%)

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 (10.3%)

Results

1.0s	8256×	body	128	valid
7.0ms	61×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify145.0ms (1.2%)

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

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

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

series438.0ms (3.7%)

Counts

3 → 96

Calls

3 calls:

245.0ms	(*.f64 x (log.f64 y))
97.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
95.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

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

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

simplify108.0ms (0.9%)

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

prune118.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	153	6	159
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	153	7	160

Error

0.0b

Counts

160 → 7

Alt Table

Status	Error	Program
	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.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)
	29.9b	(-.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)
	31.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)

Compiler

Compiled 2691 to 745 computations (72.3% saved)

localize11.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 (cbrt.f64 y)) 2))
✓	0.3b	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
✓	0.6b	(cbrt.f64 y)

series3.4s (28.5%)

Counts

4 → 84

Calls

4 calls:

1.1s	(+.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)

rewrite19.0ms (0.2%)

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:

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

simplify110.0ms (0.9%)

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

prune175.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	169	4	173
Fresh	4	1	5
Picked	1	0	1
Done	0	1	1
Total	174	6	180

Error

Counts

180 → 6

Alt Table

Status	Error	Program
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) z) y)
	29.9b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (pow.f64 y 2/3))))) (.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
▶	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (.f64 x 1/3) (log.f64 y))) z) y)

Compiler

Compiled 4018 to 1691 computations (57.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (cbrt.f64 y))
✓	0.2b	(fma.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.6b	(cbrt.f64 y)

series3.1s (25.6%)

Counts

2 → 36

Calls

2 calls:

2.5s	(fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y))))
576.0ms	(log.f64 (cbrt.f64 y))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`log-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
3×	`cbrt-prod_binary64`

Counts

2 → 28

Calls

2 calls:

1.0ms	(log.f64 (cbrt.f64 y))
0.0ms	(fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y))))

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

435×	`distribute-rgt-in_binary64`
424×	`distribute-lft-in_binary64`
407×	`log-prod_binary64`
230×	`fma-neg_binary64`
226×	`*-commutative_binary64`

Counts

64 → 49

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	65	811
1	103	681
2	230	519
3	668	507
4	2598	507
5	4622	507
6	5135	507

prune167.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	163	6	169

Error

Counts

169 → 6

Alt Table

Status	Error	Program
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) z) y)
	29.9b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (pow.f64 y 2/3))))) (.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (.f64 x 1/3) (log.f64 y))) z) y)

Compiler

Compiled 3525 to 1427 computations (59.5% saved)

localize15.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 (.f64 x 1/3) (log.f64 y)))
✓	0.4b	(.f64 (.f64 x 1/3) (log.f64 y))
✓	0.4b	(*.f64 x 1/3)
	0.6b	(cbrt.f64 y)

series1.6s (13.4%)

Counts

3 → 60

Calls

3 calls:

1.3s	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (.f64 x 1/3) (log.f64 y)))
244.0ms	(.f64 (.f64 x 1/3) (log.f64 y))
3.0ms	(*.f64 x 1/3)

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64`
12×	`add-sqr-sqrt_binary64`
11×	`pow1_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

3 → 67

Calls

3 calls:

5.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (.f64 x 1/3) (log.f64 y)))
4.0ms	(.f64 (.f64 x 1/3) (log.f64 y))
3.0ms	(*.f64 x 1/3)

simplify91.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-neg_binary64`
659×	`fma-def_binary64`
459×	`*-commutative_binary64`
301×	`exp-prod_binary64`
241×	`associate-l_binary64`

Counts

127 → 113

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1725
1	367	1411
2	1373	1099
3	3389	1099
4	4740	1099
5	4987	1099

prune148.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	130	1	131
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	132	5	137

Error

Counts

137 → 5

Alt Table

Status	Error	Program
	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (sqrt.f64 y))))) (.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (fma.f64 2/3 (log.f64 y) (log.f64 (cbrt.f64 (pow.f64 y 2/3))))) (.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (.f64 x (.f64 (log.f64 y) 2/3)) 4/3) (.f64 (log.f64 (cbrt.f64 y)) (*.f64 x 1/3))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 3103 to 1642 computations (47.1% saved)

regimes319.0ms (2.7%)

Accuracy

Total 0.1b remaining (86.2%)

Threshold costs 0.1b (86.2%)

Counts

80 → 1

Compiler

Compiled 6221 to 4119 computations (33.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	21	26
2	29	26
3	33	26
4	35	26
5	35	26

end86.0ms (0.7%)

Compiler: Compiled 142 to 95 computations (33.1% saved)

Details

analyze590.0ms (4.9%)

sample1.2s (10.3%)

simplify145.0ms (1.2%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series438.0ms (3.7%)

rewrite23.0ms (0.2%)

simplify108.0ms (0.9%)

prune118.0ms (1%)

localize11.0ms (0.1%)

series3.4s (28.5%)

rewrite19.0ms (0.2%)

simplify110.0ms (0.9%)

prune175.0ms (1.5%)

localize11.0ms (0.1%)

series3.1s (25.6%)

rewrite3.0ms (0%)

simplify71.0ms (0.6%)

prune167.0ms (1.4%)

localize15.0ms (0.1%)

series1.6s (13.4%)

rewrite14.0ms (0.1%)

simplify91.0ms (0.8%)

prune148.0ms (1.2%)

regimes319.0ms (2.7%)

simplify3.0ms (0%)

end86.0ms (0.7%)

Profiling